Преломление реальности: Динамическая валидация статическими типами

В TypeScript и Flow есть типы, но мы не можем их использовать в рантайме. Скажем, для валидации JSON, генерации рантаймовых проверок, property-based testing. Если очень хочется — то можно! Рассмотрим, что такое type-directed emit и как его применить, сравним с другими видами рефлексии и кодогенерации, погрузимся в особенности апи-транспиляторов и узнаем, какие есть грабли у такого подхода.