WarsawJS Talk

Type level programming in TypeScript

Presented at Meetup #115 Wed, Jun 12, 2024
Location Box, ul. Chmielna 69 Floor 22

About this Talk

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.

Mieszko Sabo

Mieszko Sabo

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).

View Full Profile

Share this talk

← Back to Talk Archive