Обнаружил, что мой доклад «Программирование на уровне типов на TypeScript: выжимаем из компилятора все соки» с эпамовского ITSubbotnik еще в начале декабря выложили на YouTube. Если вдруг кто-то хотел послушать, но не получилось быть на митапе вживую, то теперь есть возможность наверстать упущенное 🙂
Ну и напомню, что слайды и примеры доступны в репозитории на Гитхабе: https://github.com/YBogomolov/talk-typelevel-ts
Post #905
9
Forwarded from dd if=/dev/stuff of=/dev/tg
YouTube Программирование на уровне типов на TypeScript: выжимаем из компилятора все соки | Юрий Богомолов Из моего доклада вы узнаете о нюансах системы типов TypeScript, которые позволяют сделать первые шаги в сторону формальной верификации программ. Первая часть доклада посвящена тому, как можно заставить компилятор делать дополнительные проверки корректности…