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

2022-08-02 01:57:25 +08:00
 des

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

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

1893 次点击
所在节点    分享发现
6 条回复
noe132
2022-08-02 02:01:24 +08:00
还有用 type 写的一些 dsl 解释器，确实很牛逼
TWorldIsNButThis
2022-08-02 02:21:14 +08:00
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

这是一个专为移动设备优化的页面（即为了让你能够在 Google 搜索结果里秒开这个页面），如果你希望参与 V2EX 社区的讨论，你可以继续到 V2EX 上打开本讨论主题的完整版本。

https://www.v2ex.com/t/870086

V2EX 是创意工作者们的社区，是一个分享自己正在做的有趣事物、交流想法，可以遇见新朋友甚至新机会的地方。

V2EX is a community of developers, designers and creative people.

© 2021 V2EX