I'm a passionate programmer with a special interest in type-driven programming, interpreters, and all kinds of meta-programming. Writing esoteric, complex TypeScript types is my hobby. I'm the author of https://walk-that-type.sml.io, a tool for step-by-step debugging/visualizing types.
I am currently working on a full-stack TypeScript project at Ripple (fintech).
During the presentation we will look at the type system in TypeScript approaching it as an independent programming language. I will show how we can use types to express mechanisms known from other languages, such as loops, functions, conditional expressions, etc. Are you curious about how crazy things the type system in TypeScript allows you to do and how you can use its full potential for your everyday work? After my presentation, the possibilities of the type system will become clear to you, and you will learn how you can further expand your knowledge towards programming on types.
