Refraction of reality: Dynamic validation with static types

We have types in TypeScript and Flow but we can't use them in runtime. For example, for JSON validation, runtime check validation, property-based testing. You can if you really want to! During this session we will consider what type-directed emit is and how to use it, and also compare it with other types of reflection and code generation, we will dive into the features of API transpilers and find out what the disadvantages of this approach are.