你在生产代码里写过的最复杂的类型是啥

[Leviathann]

作为一个可以玩类型体操的语言，除了可以获得类似 Java 、C#的防笔误、智能提示等优点，应该还可以做得更多

[hxsf]

ts-sql 了解下？

[love]

有时候写 ts 真的有一点奇技淫巧，比如以前看过的这个文章
https://fettblog.eu/typescript-union-to-intersection/
这技巧虽然很多时候能帮大忙，但一个没接触过的人真的有点目瞪口呆。。。

[masterclock]

scala 程序里，用来做 union type： 德摩根律
type ¬[A] = A => Nothing
type ¬¬[A] = ¬[¬[A]]
type |∨|[T, U] = { type λ[X] = ¬¬[X] <:< (T ∨ U) }

[masterclock]

发快了
ts 里就不需要这么干了，ts 类型系统很复杂，但用起来却不复杂
ts 里写过的最复杂的大概是为了 mixin 写的类型