第九十九章 前奏【第四更】 (4 / 9)
        他本能的感觉到，这一片看上去好像离宗连宗算理杂交产物的论文，蕴含着巨大的可能性。

        于是，他快速连上了图灵真人。

        “图灵道友，我这里有一篇论文，很有意思，希望你能看一看。”

        半个时辰之后，图灵真人出现在万仙幻境之中：“这篇论文，真是了不得啊。”

        对于类型论牺牲图灵完备的做法，他倒是没有任何意见。相反，他还觉得挺有趣的。

        第一次想到有这样的结构。

        如果说“图灵机”的构想是画地为牢，那么“类型”就是一副枷锁，将使用者牢牢束缚。

        他确实是觉得这样很有趣。

        图灵真人显得有些激动：“根据这理论当中的一些东西，我觉得，可以重新构造出一门全新的高级算器语言了——这能够极大的造福千机阁弟子！”

        “语言？哦，语言！”冯落衣突然问道：“《形式语言学》，你已经了解过了吗？”

        “怎么可能不了解？”图灵真人瞪大眼睛，反问道：“你弟子的成就，你自己就不关心吗？”

        “嗯……了解倒是有了解……”冯落衣沉吟。

        形式语言学，他了解得确实不多。

        内容未完，下一页继续阅读

更多完整内容阅读登陆

《墨缘文学网，https://wap.mywenxue.org》