Вячеслав Шебанов — Системы типов в двух словах
Ближайшая конференция:
HolyJS 2021 Piter — 20-23 апреля, онлайн.
Подробности и билеты: https://bit.ly/2LbN8bH
. . История систем типов. Анализ текущего состояния языков. Взгляд в будущее системы типов.
Лямбда-исчисление Черча. Лямбда-куб. Линейные типы.
Глубоко. Основательно. Доходчиво.
Прогоны доклада расширили сознание некоторых членов ПК.
Приложения на JS становятся больше и сложнее, а инструменты вроде Flow и TypeScript набирают популярность. Статическая типизация становится обычной темой в JS-мире, при этом мы редко задаем себе вопрос, почему эти типы выглядят так или иначе. Как формировались системы типов современных языков, какая теория за ними лежит и куда все это движется? Попробуем коротко об этом поговорить.
Видео Вячеслав Шебанов — Системы типов в двух словах канала HolyJS
HolyJS 2021 Piter — 20-23 апреля, онлайн.
Подробности и билеты: https://bit.ly/2LbN8bH
. . История систем типов. Анализ текущего состояния языков. Взгляд в будущее системы типов.
Лямбда-исчисление Черча. Лямбда-куб. Линейные типы.
Глубоко. Основательно. Доходчиво.
Прогоны доклада расширили сознание некоторых членов ПК.
Приложения на JS становятся больше и сложнее, а инструменты вроде Flow и TypeScript набирают популярность. Статическая типизация становится обычной темой в JS-мире, при этом мы редко задаем себе вопрос, почему эти типы выглядят так или иначе. Как формировались системы типов современных языков, какая теория за ними лежит и куда все это движется? Попробуем коротко об этом поговорить.
Видео Вячеслав Шебанов — Системы типов в двух словах канала HolyJS
Показать
Комментарии отсутствуют
Информация о видео
Другие видео канала
Дмитрий Пацура — Микросервисная архитектураИлья Климов — «Строгий» JavaScript: типы против реальностиПросто типизированное лямбда-исчислениеПавел Черторогов — Строим GraphQL-серверИлья Климов — Ламповый CI/CD. Как и с чего начатьГруппы и теория гомотопий (трэш трейлер)Денис Мишунов — В погоне за производительностью: психология пользователяПродвинутый TypeScript / Михаил Башуров (Syncro)Николай Матвиенко — Декомпозиция Main Thread в Node.js для увеличения пропускной способностиЛямбда исчисление и функциональное программирование. Часть 1 | ЛекцияАлексей Мерсон — Domain-driven design: рецепт для прагматикаАндрей Нагих — Разработка под WebAssembly: реальные грабли и примерыАндрей Печкуров — Алгоритмы консенсуса. При чем тут Node.js?Павел Малышев — Svelte Cookbook. Мастер класс по SvelteJSPython. Веб-программированиеАндрей Мелихов — Сколько нужно фронтендеров, чтобы написать мобильное приложение?Воеводский Владимир - Унивалентные основания математикиАлексей Богачук — Solution architecture и JavaScriptИгорь Алексеенко — Почему мой сайт тормозит и как это исправитьАлексей Богачук – Безопасность: уязвимости вашего приложения