https://bigshans.github.io/tags/%E5%85%83%E7%BC%96%E7%A8%8B/ Recent content in 元编程 on Bigshans' Blog Hugo en bigshans Fri, 17 Dec 2021 15:26:50 +0800 https://bigshans.github.io/post/type-gymnastics-for-typescript/ Fri, 17 Dec 2021 15:26:50 +0800 https://bigshans.github.io/post/type-gymnastics-for-typescript/ <p>类型体操如果不是写库的话，基本上是屠龙技。 TypeScript 的类型系统本质上是一个小函数式语言，通过类型体操能够更清晰的感受到这一点。不过 TypeScript 类型系统有限制，并不能跟真正的函数式相媲美。但我们仍然可以写一个斐波那契数列小试牛刀。</p>