Myvideo

Guest

Login

Вячеслав Шебанов Системы типов в двух словах

Uploaded By: Myvideo
1 view
0
0 votes
0

Ближайшая конференция: HolyJS 2022 Autumn, 10–11 ноября (Online), 20 ноября (Offline) Подробности и билеты: — — . . История систем типов. Анализ текущего состояния языков. Взгляд в будущее системы типов. Лямбда-исчисление Черча. Лямбда-куб. Линейные типы. Глубоко. Основательно. Доходчиво. Прогоны доклада расширили сознание некоторых членов ПК. Приложения на JS становятся больше и сложнее, а инструменты вроде Flow и TypeScript набирают популярность. Статическая типизация становится обычной темой в JS-мире, при этом мы редко задаем себе вопрос, почему эти типы выглядят так или иначе. Как формировались системы типов современных языков, какая теория за ними лежит и куда все это движется? Попробуем коротко об этом поговорить.

Share with your friends

Link:

Embed:

Video Size:

Custom size:

x

Add to Playlist:

Favorites
My Playlist
Watch Later