Скачать
Денис Буздалов — «Мама и папа, вы видели, как я могу? Код точно работает с внешними данными!»
Автор: Код Желтый
Загружено: 2025-12-01
Просмотров: 171
Описание:
В наших типизированных языках мы можем генерировать куски кода из внешних определений, чтобы код им точно соответствовал. Но можно ли во время компиляции напрямую использовать внешние формальные описания? Покажу, как это можно делать, на примере системы типов и compile-time-рефлексии языка Idris.
Наши технологии, статьи и ивенты: https://t.me/kod_zheltyi
Жизнь команды изнутри и вакансии по направлениям: https://t.me/t_crew
Блог на Хабре: https://habr.com/ru/companies/tbank
Не удается загрузить Youtube-плеер. Проверьте блокировку Youtube в вашей сети.
Повторяем попытку...
Повторяем попытку...
Доступные форматы для скачивания:
Скачать видео
-
Информация по загрузке:
