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