杂谈：关于声明式语言

对于一个需要构建复杂的内存结构，相互之间有复杂的依赖关系的应用，如GUI等，用什么样的开发方法最好？

首先，是个语言选择的问题。

C/C++，以及java这样的语言，是基于命令式的。

命令式的语言，强调的是做事的步骤，先做什么，后做什么。前面的步骤直接影响后面的步骤。这样的语言很容易被理解，却不能创造出简洁、复杂而高效的程序。

对于函数式语言，虽然我了解不多，但是相对于命令式语言，要强很多，特别是在使用懒惰计算的时候，它的优势很明显。

但是，函数式语言对于构造这样复杂的数据结构，还是不够直观。

通常对于GUI这样的应用，我们都使用xml这样的描述文件来描述结构。不过大多数的GUI程序，xml的描述能力仅限于窗口的构造，至于期间的业务关系，则很少涉及。

有感于此，我再考虑一个问题，通常的命令式和函数式语言，通常需要描述出怎么做，而不是描述出是什么。 然而，软件开发中主要的问题是搞清楚是什么，而不是怎么做。

能否有一种方式，通过描述出是什么，它自己就可以明白怎么做，该有多好啊。

联想一下html+css的web语言，它重点就是在描述是什么，至于怎么做，都是浏览器需要关心的事情。但是web的目标、使用范围都太专一了，没有什么通用性。

命令式语言同计算机指令在本质上都是一致的，它们都是图灵等价的，因此可以相互转换。

但是声明式语言却不是这样，它更像人类的思维方式，也不是图灵等价的，因此，声明式语言必须经过命令式语言的建模，才能搭建起来。而这个建模是非常复杂而困难的。

那么，有没有一种方法，将声明式语言进行一层层的推演，将它能够推演到一个最基本的最小的模型，这个模型具有很强的通用性，只依赖于一个简单的统一的模型？它所依赖的这个模型，使用命令式语言一次建模后，成为声明式语言的内在模型，然后由这些内在模型在一步一步的建立起和具体事物相关的模型来呢？

探讨软件的本质，是数据的变换。而数据的变换，则有两个关键