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

Ближайшая конференция: HolyJS 2019 Moscow — 8-9 ноября 2019, Москва Подробности и билеты: История систем типов. Анализ текущего состояния языков. Взгляд в будущее системы типов. Лямбда-исчисление Черча. Лямбда-куб. Линейные типы. Глубоко. Основательно. Доходчиво. Прогоны доклада расширили сознание некоторых членов ПК. Приложения на JS становятся больше и сложнее, а инструменты вроде Flow и TypeScript набирают популярность. Статическая типизация становится обычной темой в JS-мире,