TypeScript: Вычисления на типах
Дмитрий Беляев
Инженер ключевых проектов,
Huawei Russian Research Institutes
Работает в отделе проводных сетей в лаборатории верификации ПО.
Личная ответственность – имплементация поддержки моделинга и DSL в IDE VSCode.
Является экспертом по VSCode API и языкам TypeScript и Rust в своей лаборатории. Ведет исследования в области систем типов и статического анализа кода.
ПОЭМЫ ДАРВИНА (3 ЭТАЖ)
Площадка:
12:50-13:30
Время:
Дам обзор системы типов в TypeScript и объясню принципы работы тайпчекера. Расскажу о возможных операциях над типами и как с их помощью получить по-настоящему надежную типизацию для гибкого мира JavaScript.

Обсудим:
- типизацию в TypeScript (иерархия типов, структурная типизация, - тьюринг полнота);
- простые манипуляции над типами;
- дженерики и предикаты над типами;
- условные типы;
- итеративные и рекурсивные типы;
- шаблонные литеральные типы
О чем поговорим: