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: github.com/YBogomolov/talk-ma...
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
Негізгі бет Making Illegal States Unrepresentable in TypeScript
Пікірлер: 11