Скачать с ютуб Программирование на уровне типов на TypeScript: выжимаем из компилятора все соки | Юрий Богомолов в хорошем качестве

Программирование на уровне типов на TypeScript: выжимаем из компилятора все соки | Юрий Богомолов

Из моего доклада вы узнаете о нюансах системы типов TypeScript, которые позволяют сделать первые шаги в сторону формальной верификации программ. Первая часть доклада посвящена тому, как можно заставить компилятор делать дополнительные проверки корректности кода, а также гарантировать выполнение определенных инвариантов. Во второй части доклада я расскажу, как можно описать простейшую арифметику на уровне типов, например, как заставить компилятор считать факториал числа, а в последней части затрону тему изоморфизма Карри-Ховарда и покажу, как выразить некоторые простейшие силлогизмы математической логики. ........................................................................... Канал ITsubbotnik’а в Telegram: https://t.me/IT_Subbotnik_MSC Подписывайтесь на наши соцсети, чтобы первыми узнавать о ближайших событиях и быть в курсе всех новостей московского офиса EPAM: Facebook:   / epammoscow   ВКонтакте: : https://vk.com/epammoscow