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

Приложения на JS становятся больше и сложнее, а инструменты вроде Flow и TypeScript набирают популярность. Статическая типизация становится обычной темой в JS-мире, при этом мы редко задаем себе вопрос, почему эти типы выглядят так или иначе. Как формировались системы типов современных языков, какая теория за ними лежит и куда все это движется? Попробуем коротко об этом поговорить.
Выступление прошло в зале Тютина и входило в трек Языки программирования
Слайды: bit.ly/314k0YO

[@user-hq1gt2uv9g]

Очень недооцененный доклад.

[@kodermail]

ага, мальчик, правда, шаблонные типы не осилил, а так да, недооценный. И это самое убогое пояснение зависимых типов в природе

[@user-hq1gt2uv9g]

​@@kodermail Похвалить лектора, это же надломиться надо, обязательно его оскорблять.

[@kodermail]

@@user-hq1gt2uv9g тут не за что хвалить. В лучшем случае это "хорошее начало". Кроме фактических ошибок доклад еще и кривой. Пусть учится и повторяет