TypeScript的类型编程

Live coding!

如何在类型上编码计算过程

在类型上实现自然数

TypeScript的类型系统的图灵完备性