手机浏览器扫描二维码访问
第1279章（第2页）
自由是自由了，但是相对的，这东西也一样不是很好用。
如果真的发生了编译错误，那么计算机就很有可能输出无法预料的结果，而非直接停机。
这就意味着，码农必须非常了解自己码的是什么，甚至需要利用自己的心算能力，为自己码的东西纠错。
这对程序员的能力要求，也很高。
只不过吧，在这个世界，只要兼修一下爻定算经之类万法门功法，就可以解决这个问题了。
也就是说，大家这么多年了，其实也没介意当个人肉纠错器。
这是这个理论在地球上的大致状况。
而在这个世界，情况就有点诡异了。
陈由嘉，是借助神州现在离宗连宗论战的东风，从算君的兽机关集群算法之中，反推出这一道理论的。
而且，还是从形式语言学上的得到了灵感。
形式语言学可以算是计算机科学平行发展的一支。
但是，这个过程……
也确实……
充满了这个宇宙技术史的风格。
第九十八章型论
类型论的根基，是直觉主义逻辑。
海霆真人已经将离宗的“逻辑”吸收了过来，重写了算术公理，完成了连宗的逻辑。
类型论的目标，是“突破哥德尔不完备定理”，思路是“切断自我指涉”。
算主提出了绕过“哥德尔不完备定理”的思路，包括了“切断自我指涉”。
冯落衣为了证明“无穷公理”的安全性，而沿着这条思路走了下去。
可以说，万事俱备了。
然后，算君就贡献了……包含类型论结果的成就。
也就是兽机关集群的混沌拓扑网络算法。
算君并没有单独提出“类型论”，因为他确实对大家争来争去的基础算理不感兴趣。
但是，他也确实是天才，凭借自己的思考，就完成了这样一个严苛的系统。
这就好像用coq语言给你写一个完整的操作系统，还能运行得很顺畅，甚至界面还很优美一样，匪夷所思，令人惊叹。
王崎甚至怀疑，算君这一套做法，并非牺牲“图灵完备”，而是……算君压根就没在意什么“图灵完备”。
兽机关集群相当安全。用类型论的理论来看，它就是绝对的“强规范强类型”，不会输入任何“预料之外”的结果。一旦有丁点错误，就会直接停机给你看。
而在宏观上，则可以兼容冯落衣这一系的成就。
而就算宏观上的算来出现了问题，也智慧导致宏观层面的集群暂时失去凝聚力，而不是使得兽机关本身失控。
王崎思来想去，这种一不留神就灭星的玩意，也确实需要这种死板的东西来约束了。
如果要他用无类型、类型不安全的万象卦文直接写底层……
哈哈……哈哈哈哈……
系统之娇宠孕妻 直播和男神同居的日子 天黑请开眼 穿越之弃子国师 一爱到底之顾少毒妻 神偷长公主 废材重生：邪王独宠悍王妃 赌妃在上，王爷在下 扛着boss拼下限（末世） 悍妻[医道] 最强除妖师 我是狠人大帝的同乡 断神 时光请善待我的她 眼镜兄撞上恶魔王子 大明孤狼 娱乐超级奶爸 天地炼成 烈火燃情：高冷总裁滚远点 捡到病娇太子之后（重生）
联盟：我的青钢影让母校出名了
苏晨重生到了平行世界的S7赛季，开局觉醒系统，用青钢影单杀主播余小C，意外火遍全网！江科大医学精准与否，就是屠宰与手术的区别江科大心理学谎言不会伤人真相才是快刀。江科大哲学世界既不黑也不白，而是一道精致的灰。玩梗文，路人王主播职业。如果您喜欢联盟我的青钢影让母校出名了，别忘记分享给朋友...
为美好的异世献上科学
国之将亡，遍地魔法，唯有科学，兴国安邦。我不信邪，我信科学！提示，这并不是一本为美好的世界献上祝福的同人，因为本书原名在魔法的世界坚持科学的我一定哪里有问题名字太长不过审，所以仅仅是一本普通的魔法与科学交织的日常流小说...
夫君，我才是你最大的金手指
乔苓在生命最后一刻自愿无偿捐献所有器官，功德无量感动上天，获得重生还附赠一个药田空间。然而，辛辛苦苦兢兢业业升级空间之后傻眼了。失传的古医书，不传秘方，针灸之术，这都是些啥。。。专业不对口啊！我不想学医啊！我只想种田啊！乔苓摸着下巴看向身姿笔挺坐在桌前低头写字的少年。公子，我看你骨骼精奇，是万中无一的医学奇才，拯救万民于水火的重任就靠你了，我这有几本医书…少年抬起头，目光沉静，你有病吧。乔苓重重点头，没错！我不仅有病，我还有药！如果您喜欢夫君，我才是你最大的金手指，别忘记分享给朋友...
庶女转正指南
关于庶女转正指南一朝穿越，吃货夏禾成了私奔途中落水淹死的封都城夏家三小姐，名誉受损，即将被送到田庄等死？她绝不答应！然而父亲冷漠，祖母偏心，嫡母不管事，眼看着就要被一个丫鬟欺负死，夏禾不得不撸...
毒舌神探魏西里
血腥密室，内脏全无的尸体，疯狂的杀人游戏，神秘的死亡预言，可怕的食人魔。诡异的鲜血八卦，吓破胆的剧情，猜不到的凶手。尽在两个胖子历险的经历当中，警队之耻能否逆袭，身患绝症能撑多久？本文没有一个愚...
海贼之超神天赋
穿越到海贼世界，罗德得到可以抽取天赋能力的神器知识之书。剑斩天地，掌控雷霆，行走空间，信仰之力铸造地上神国！神恩如海，神威如狱。来到这个世界，就注定无敌于世。如果您喜欢海贼之超神天赋，别忘记分享给朋友...