Преломление реальности: динамическая валидация статическими типами Frontend
Доклад принят в Программу конференции
WiseBits
TypeScript-самурай и фанат ReasonML. Пытается в теорию типов и компиляторов, отбирает доклады в ПК HolyJS, делает @CyrpusJS.
Тезисы
В TypeScript и Flow есть типы, но мы не можем их использовать в рантайме. Скажем, для валидации JSON, генерации рантаймовых проверок, property-based testing? Если очень хочется — то можно!
Рассмотрим, что такое type-directed emit и как его применить, сравним с другими видами рефлексии и кодогенерации, погрузимся в особенности апи-транспиляторов и узнаем, какие есть грабли у такого подхода.
Другие доклады секции Frontend
Avaloq
CarGurus
EPAM Systems
Smashing Magazine
Райффайзен Банк
Money Button
