namelosw
2021-03-12 12:32:07 +08:00
TS 基本是带 Gradual typing 且比较类型系统比较高级的主流代表了, 非主流代表是 Typed Racket.
不是 Gradual 的主流代表是 Scala, 非主流代表是 Haskell.
用起来比较有意思, 而且补全比较好其实用好了写起来很快. 但是坑的确多, 总的来说 TS 打开了走向了 dependent typed 的魔盒, 但又没有 dependent type, 所以很多时候会撞空气墙.
TS 有三种代码风格, 或者是这三种的混合:
1: 基本就是 JS, 全靠推导, 偶尔加 any.
2: 基本就是 Java, 类型系统按最简单的用, 代码本身像 Java 有点啰嗦.
3: 代码风格像 JS, 但是带签名. 因为代码很灵活, 所以签名非常鬼畜, 其实随便打开一个库就会发现里面整页都是签名.
不过还是比较建议用的, 大家统一了整个代码库 123 偏向哪种就好.