У нас вы можете посмотреть бесплатно Вячеслав Шебанов — Системы типов в двух словах или скачать в максимальном доступном качестве, видео которое было загружено на ютуб. Для загрузки выберите вариант из формы ниже:
Если кнопки скачивания не
загрузились
НАЖМИТЕ ЗДЕСЬ или обновите страницу
Если возникают проблемы со скачиванием видео, пожалуйста напишите в поддержку по адресу внизу
страницы.
Спасибо за использование сервиса ClipSaver.ru
Ближайшая конференция: HolyJS 2025 Autumn, 20—21 ноября, Санкт-Петербург + online. Подробности и билеты: https://jrg.su/EM4wwV — — . . История систем типов. Анализ текущего состояния языков. Взгляд в будущее системы типов. Лямбда-исчисление Черча. Лямбда-куб. Линейные типы. Глубоко. Основательно. Доходчиво. Прогоны доклада расширили сознание некоторых членов ПК. Приложения на JS становятся больше и сложнее, а инструменты вроде Flow и TypeScript набирают популярность. Статическая типизация становится обычной темой в JS-мире, при этом мы редко задаем себе вопрос, почему эти типы выглядят так или иначе. Как формировались системы типов современных языков, какая теория за ними лежит и куда все это движется? Попробуем коротко об этом поговорить.