Zero programming language

我原来设想的那个原来并不是理想目标，因为我发现，如果一个形式系统可以做到在时间线上的推理，那么软件系统的第一步实现是在逻辑系统中完成的，完成之后，再经过一个步骤才可以变成高效的执行程序。这个步骤是，逻辑

这是共相与殊相的逻辑哲学问题。 罗素专门有所论述，并指出：对共相和殊相不加以区分是不对的，会导致严重的问题。

在寻找适合谓词逻辑的存储方式上很是下了些功夫，这种谓词逻辑不仅仅要表达关于其他领域的知识，还要表达关于自身的知识，例如关于如何通过产生式规则扩展自己。 后来发现了三元组这样一种符合我几乎所有期望的表达

更正为Logical Weaving

这确保了程序代码以最易理解的方式被书写和理解，因而也保证了复用的可能性。 这是一个很高的要求，这要求Zero语言的基础必须是一个可以进行起码的知识推理的逻辑系统，还要求Zero语言具有足够的抽象能力。

从根本上说，程序代码是一个建立在逻辑描述基础上的知识库，其中的按照顺序执行的命令式代码的含义只不过是： 完成某个功能的操作是这样： 首先执行：... ... 然后执行：... ... ... ...

看一下上面的关联方式。 Pick和Person关联在一起的方式是概念式的，而不是捆绑式的，Pick的概念是独立的，但通过类型推断加上智能提示和Person实现了操作上的关联。这种方式是最好的。 在这种

即使Zero语言如预期那样被发明出来，之后的工作量也是庞大的。 方向是，基于Zero语言的能力，逐渐增加语言在智能方面的能力，自动程序生成，是其中重要的一个方面。 现代的计算机，已经有庞大的计算能力去

观察世界的视角我们经常用耦合度来衡量一个系统架构的水平，似乎也没有多少人抱有疑义，但我要说，这只是大多数情况下一个良好的架构所表现出来的特质，而并非一个系统架构所真正应该追求的目标。 真正追求的目标实际

在主流的程序开发语言中引入泛型，不得不说是一个巨大的进步，关于泛型的思想，实现方法，也有很多文章介绍，不再重复，这里结合我所要说的内容谈一下自己的理解。 还是回到那句话，符合人类思维的特性。因为要符合

只可惜LtU论坛上管理员不允许长篇大论的讨论，需要给出参考网站的网址，我的博客又是中文写成，只好作罢。待Demo出来，用程序说话吧。

团队协作中常常会对代码风格进行约定，这些约定通常被当做一种文档，而在Zero语言中，这些约定是可以用代码来写的，而且，代码化之后，这些约定就成为一种强约束。 先讲需求，我们经常会看到一些团队中对代码有

在Zero语言中，将语法定义为符号生成规则的集合，在这种框架下，什么变量，类型，操作符，函数，对象，类，消息，接口的区别通通的不存在，全是在既定规则下被生成的符号。 什么是对象呢？就是当有如下符号串的

不仅仅是替代XML的问题，如果可以替代XML，那么将可以替代一切文件格式。 On 4月24日, 下午3时34分, zhang3 <openau...@gmail.com> wrote:

从最近放出的.net开发工具历史调试视频来看，的确是一项很酷的功能。 在Zero语言中，也应包含这样的功能。然而，Zero语言的历史调试，是从体系中自然衍生出来的。 Zero语言，已经对程序结构本身有了

在基于契约的编程中，使用这样的形式对代码进行定义： Contract.Requires( x ! = null ); 这里对x进行了定义上的约束，即x不能为空。 然后，基于契约的编程仅仅是一个思想，尚未

在程序设计语言中引入多范式，即逻辑式，函数式，命令式，是必要的。因为，这些范式各自有适应的场合，而拘泥于一种范式对于程序员来说，是不友好的。 但是多范式经常又会造成混乱。需要在程序设计语言中，严格的区分

关注IDE，开发语言，模式，框架的朋友可以看一看，开拓一下思路。 让我震惊的是，我在里面发现了一段与我之前所描述的差不多的文字，我的描述是这样的： 见博文（为什么要写这个博客） 我想对于一种程序语言和

Zero语言的一个代码实例，如何进行抽象。 问题：对象ObjectA有一些属性：Prop1，Prop2，Prop3，它们都被定义为一个结构，包含一个Value值，其取值分别如下： Prop1.Value

我们已经知道duck typing的含义，但是Zero中的duck typing，含义更为广泛，其中的typing，其意义并不是类型的意思，而是打字的意思。Zero语言中，duck typing的含义是

Andrej Bauer对于语言设计的观点 作者 Jonathan Allen译者 张逸 发布于 2009年4月18日 上午8时5分 社区 .NET 主题 编程 Andrej Bauer发表了一篇名为《

点击 http://groups.google.com/group/zero-programming-language/web/zero%E8%AF%AD%E8%A8%80%E4%BB%8B%E7%BB