Making Illegal States Unrepresentable in TypeScript
Channel: Yuriy Bogomolov
Date: 2021-10-21

In this talk I present "making illegal states unrepresentable" approach to modelling business domains in TypeScript. The talk covers topics like opaque types, type-level programming, Tagless Final and indexed monads.

Repository with code examples for the talk: https://github.com/YBogomolov/talk-making-illegal-states-unrepresentable

Time codes:
0:00 - Introduction
0:26 - What is an illegal state?
2:07 - Declaration of making illegal states unrepresentable approach
3:02 - First topic: smart validators and opaque types
8:53 - Second topic: type-level programming
20:45 - Third topic: tagless final style
27:00 - Fourth topic: indexed monads
31:47 - Wrapping up
33:32 - Final words