RU / День 2 / 14:00 / Зал 1

Комментарий Программного комитета:

История систем типов. Анализ текущего состояния языков. Взгляд в будущее системы типов.

Лямбда-исчисление Черча. Лямбда-куб. Линейные типы.

Глубоко. Основательно. Доходчиво.

Прогоны доклада расширили сознание некоторых членов ПК.

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

Посмотреть презентацию.

Вячеслав Шебанов

Руководит командой сообщений ВКонтакте. Увлекается функциональным программированием. Последние 2 года много интересуется теорией типов и связанными областями.