海归论坛 :: 阅读主题 - rationese语言----计算机语言的终结者，新文明的开端

through

#21: rationese语言----计算机语言的终结者，新文明的开端 (4993 reads) 作者: uda1341,

时间: 2010-12-16 周四, 22:49
—
作者：uda1341 在项目找投资与合作发贴, 来自【海归网】 http://www.haiguinet.com

不好意思标题党一下，以下继续标题党，请勿见怪：

为什么我们要用这么多种语言来编程？为什么这些语言无法互相沟通？为什么计算机语言不能像自然语言那样抽象？为什么发生在计算机中的那些事情，没有统一的精确的方式进行表达？

计算机的思想，以莱布尼茨所设想的理性语言之梦为开端，经过多年的发展，却形成了目前这种分崩离析的局面，问题到底在哪？

目前的一系列探索已经有了答案，通过一种具有时态描述能力，能够为计算机中所发生的所有过程进行静态与动态描述，通过多重自指从而具有丰富的表现力的语言体系，我们将有可能为这个分裂的现实划上一个句号。

这门语言基于一阶逻辑，通过自指从而具有高阶逻辑的描述能力，通过对时间的抽象从而具有时态逻辑的表达力，通过对自身逻辑运算过程的自省提高了逻辑运算的效率，通过对自然语言中的语法结构的分析，从而具有了接近自然语言的表现力，而不失去程序语言的精确性。

这是一门描述理性的语言，故而生造“rationese”单词做为名称。

它面向虚拟世界，表现力和抽象能力直达哲学的层次，借助分析哲学的辉煌成果，为存在，实在，归纳，证伪，因果，决定论，自由意志进行代码级别的建构，真正实现20-30年代分析哲学家们的理想---一门可用于哲学讨论的人工语言。

在实用性上，它在所有的计算机领域都具有压倒性的竞争力。

通过对各种语言的语义建模，将实现各种高级语言和计算平台的真正的相互翻译，这就可以直接继承已有的庞大的代码库，直接形成生产力，它不仅对程序，还对数据进行描述，统一数据格式成为真正的现实。

通过自然语言的语法构造，使得我们可以用最自然的方式，对企业流程，操作说明，功能定义进行描述，描述即代码。

通过完善其知识库，将对代码的编写过程变为人机通过约定语言进行交流的过程，提供最完美的帮助和语义约束，让程序不再bug缠身。

总之，这门语言终将取得与日常语言同等的地位，成为所有确定性领域的标准语言，不论是科学研究，还是政府公文，不论是军事计划，还是企业运营。

这门语言也将成为人类与计算机沟通的标准语言与桥梁，它描述确定性知识的同时，也在虚拟世界中重建我们的描述的对象。

它将成为新文明的开端。

后记：这篇半标题党半认真的东西是这会热血上涌写出来的，至少表示，会有这么一种可能性，一个可期望的前景。

至于谁会最终实现它，那是另外一个问题。

我现在做完了一个基于时态语义分析的调试程序的原型，正在为一个阶段性的实用成果而努力。这个阶段的成果可以为一些大型软件提供高级脚本语言，使其具有相当程度的灵活性，而语法是可以按照需求来定制的，这比一些既有的脚本语言方案要好。

有兴趣的可以看

https://www.douban.com/people/2977847/notes

尚未正式成文，比较散乱，见谅。

我期望在这个阶段有关于实用领域的一些研讨，有这方面可能需求(比如软件的定制性语言)，可以站内短信联系，或者发 [email protected]

作者：uda1341 在项目找投资与合作发贴, 来自【海归网】 http://www.haiguinet.com

上一次由uda1341于2010-12-17 周五, 02:55修改，总共修改了2次

海归论坛 -> 项目找投资与合作

output generated using printer-friendly topic mod. 所有的时间均为北京时间

第2页，共3页