Type­Script comes with its own kind of meta-pro­gram­ming lan­guage that allows you to dynam­i­cal­ly “pro­gram” your own types. This enables type-safe descrip­tions of even the most com­plex (JavaScript) code structures.

In this talk, I will present some of the con­cepts and fea­tures of this meta-lan­guage through live cod­ing. With prac­ti­cal exam­ples you will see how you can use them in real-world sce­nar­ios and how your appli­ca­tions (and your col­leagues) can ben­e­fit from them!

For this ses­sion you should bring basic knowl­edge of Type­Script and def­i­nite­ly a desire for uncon­ven­tion­al and unusu­al ideas when it comes to work­ing with a type system.