V2EX = way to explore
V2EX 是一个关于分享和探索的地方
现在注册
已注册用户请  登录
des
V2EX  ›  分享发现

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

  •  1
     
  •   des · 2022-08-02 01:57:25 +08:00 · 2032 次点击
    这是一个创建于 827 天前的主题,其中的信息可能已经有所发展或是发生改变。
    6 条回复    2022-08-02 10:54:34 +08:00
    noe132
        1
    noe132  
       2022-08-02 02:01:24 +08:00 via Android
    还有用 type 写的一些 dsl 解释器,确实很牛逼
    TWorldIsNButThis
        2
    TWorldIsNButThis  
       2022-08-02 02:21:14 +08:00 via iPhone
    rust 和 scala 的类型系统也是图灵完备的
    huang119412
        3
    huang119412  
       2022-08-02 09:03:26 +08:00
    别图灵完备,这个词已经用烂了,现在成贬义词了。当时也是吹 C 的宏和 C++的模版也是图灵完备的。然而。。。
    MEIerer
        4
    MEIerer  
       2022-08-02 09:12:35 +08:00
    听说有分支、循环、还有数组就是图灵完备了
    yunyuyuan
        5
    yunyuyuan  
       2022-08-02 10:12:22 +08:00
    图灵不完备的语言,它有用处吗?

    把“图灵完备”换成“能写逻辑”好像也没问题。
    aguesuka
        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
    关于   ·   帮助文档   ·   博客   ·   API   ·   FAQ   ·   实用小工具   ·   5698 人在线   最高记录 6679   ·     Select Language
    创意工作者们的社区
    World is powered by solitude
    VERSION: 3.9.8.5 · 24ms · UTC 07:24 · PVG 15:24 · LAX 23:24 · JFK 02:24
    Developed with CodeLauncher
    ♥ Do have faith in what you're doing.