这是一个创建于 1237 天前的主题，其中的信息可能已经有所发展或是发生改变。
作为一个可以玩类型体操的语言，除了可以获得类似 Java 、C#的防笔误、智能提示等优点，应该还可以做得更多
 |
1
hxsf 2021-07-04 21:34:02 +08:00
ts-sql 了解下？
|
 |
2
love 2021-07-04 21:54:08 +08:00  1
有时候写 ts 真的有一点奇技淫巧，比如以前看过的这个文章
https://fettblog.eu/typescript-union-to-intersection/ 这技巧虽然很多时候能帮大忙，但一个没接触过的人真的有点目瞪口呆。。。 |
 |
3
masterclock 2021-07-04 22:25:06 +08:00
scala 程序里，用来做 union type： 德摩根律
type ¬[A] = A => Nothing type ¬¬[A] = ¬[¬[A]] type |∨|[T, U] = { type λ[X] = ¬¬[X] <:< (T ∨ U) } |
|
4
masterclock 2021-07-04 22:27:49 +08:00
发快了
ts 里就不需要这么干了，ts 类型系统很复杂，但用起来却不复杂 ts 里写过的最复杂的大概是为了 mixin 写的类型 |
Select Language