1
noe132 2022-08-02 02:01:24 +08:00 via Android
还有用 type 写的一些 dsl 解释器,确实很牛逼
|
2
TWorldIsNButThis 2022-08-02 02:21:14 +08:00 via iPhone
rust 和 scala 的类型系统也是图灵完备的
|
3
huang119412 2022-08-02 09:03:26 +08:00
别图灵完备,这个词已经用烂了,现在成贬义词了。当时也是吹 C 的宏和 C++的模版也是图灵完备的。然而。。。
|
4
MEIerer 2022-08-02 09:12:35 +08:00
听说有分支、循环、还有数组就是图灵完备了
|
5
yunyuyuan 2022-08-02 10:12:22 +08:00
图灵不完备的语言,它有用处吗?
把“图灵完备”换成“能写逻辑”好像也没问题。 |
6
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 |