才知道 ts 的类型检查系统本身是图灵完备的，甚至可以自举

V2EX = way to explore

V2EX 是一个关于分享和探索的地方

现在注册

已注册用户请登录

这是一个创建于 830 天前的主题，其中的信息可能已经有所发展或是发生改变。

感觉挺离谱的
https://github.com/ronami/HypeScript

还有这个
https://github.com/guevara/read-it-later/issues/8530

图灵

离谱

完备

检查

6 条回复 • 2022-08-02 10:54:34 +08:00

noe132

2022-08-02 02:01:24 +08:00 via Android

还有用 type 写的一些 dsl 解释器，确实很牛逼

TWorldIsNButThis

2022-08-02 02:21:14 +08:00 via iPhone

rust 和 scala 的类型系统也是图灵完备的

huang119412

2022-08-02 09:03:26 +08:00

别图灵完备，这个词已经用烂了，现在成贬义词了。当时也是吹 C 的宏和 C++的模版也是图灵完备的。然而。。。

MEIerer

2022-08-02 09:12:35 +08:00

听说有分支、循环、还有数组就是图灵完备了

yunyuyuan

2022-08-02 10:12:22 +08:00

图灵不完备的语言，它有用处吗？

把“图灵完备”换成“能写逻辑”好像也没问题。

aguesuka

2022-08-02 10:54:34 +08:00

对于类型系统来说, 图灵完备不是好事, 代表 undecidable, unsound, inconsistent, uncanonical. 当然工业上我们根本不在乎这些东西, 反正有 runtime 和程序员帮忙兜底. 比如类型系统图灵不完备的 Java 同样也是 unsound 的.

https://www.google.com/search?q=Java+is+Unsound