Системы типов в двух словах (Вячеслав Шебанов)
HTML-код
- Опубликовано: 25 авг 2024
- Приложения на JS становятся больше и сложнее, а инструменты вроде Flow и TypeScript набирают популярность. Статическая типизация становится обычной темой в JS-мире, при этом мы редко задаем себе вопрос, почему эти типы выглядят так или иначе. Как формировались системы типов современных языков, какая теория за ними лежит и куда все это движется? Попробуем коротко об этом поговорить.
Выступление прошло в зале Тютина и входило в трек Языки программирования
Слайды: bit.ly/314k0YO
Очень недооцененный доклад.
ага, мальчик, правда, шаблонные типы не осилил, а так да, недооценный. И это самое убогое пояснение зависимых типов в природе
@@kodermail Похвалить лектора, это же надломиться надо, обязательно его оскорблять.
@@user-hq1gt2uv9g тут не за что хвалить. В лучшем случае это "хорошее начало". Кроме фактических ошибок доклад еще и кривой. Пусть учится и повторяет