This topic created in 1385 days ago, the information mentioned may be changed or developed.
 |
1
noe132 Aug 2, 2022 via Android
还有用 type 写的一些 dsl 解释器，确实很牛逼
|
 |
2
TWorldIsNButThis Aug 2, 2022 via iPhone
rust 和 scala 的类型系统也是图灵完备的
|
 |
3
huang119412 Aug 2, 2022
别图灵完备，这个词已经用烂了，现在成贬义词了。当时也是吹 C 的宏和 C++的模版也是图灵完备的。然而。。。
|
 |
4
MEIerer Aug 2, 2022
听说有分支、循环、还有数组就是图灵完备了
|
 |
5
yunyuyuan Aug 2, 2022
图灵不完备的语言，它有用处吗？
把“图灵完备”换成“能写逻辑”好像也没问题。 |
 |
6
aguesuka Aug 2, 2022
对于类型系统来说, 图灵完备不是好事, 代表 undecidable, unsound, inconsistent, uncanonical. 当然工业上我们根本不在乎这些东西, 反正有 runtime 和程序员帮忙兜底. 比如类型系统图灵不完备的 Java 同样也是 unsound 的.
https://www.google.com/search?q=Java+is+Unsound |
Select Language