作为一个可以玩类型体操的语言，除了可以获得类似 Java 、C#的防笔误、智能提示等优点，应该还可以做得更多
This topic created in 1798 days ago, the information mentioned may be changed or developed.
 |
1
hxsf Jul 4, 2021
ts-sql 了解下？
|
 |
2
love Jul 4, 2021  1
有时候写 ts 真的有一点奇技淫巧，比如以前看过的这个文章
https://fettblog.eu/typescript-union-to-intersection/ 这技巧虽然很多时候能帮大忙，但一个没接触过的人真的有点目瞪口呆。。。 |
 |
3
masterclock Jul 4, 2021
scala 程序里，用来做 union type： 德摩根律
type ¬[A] = A => Nothing type ¬¬[A] = ¬[¬[A]] type |∨|[T, U] = { type λ[X] = ¬¬[X] <:< (T ∨ U) } |
|
4
masterclock Jul 4, 2021
发快了
ts 里就不需要这么干了，ts 类型系统很复杂，但用起来却不复杂 ts 里写过的最复杂的大概是为了 mixin 写的类型 |
Select Language