最近了解了neo4j的Cypher语言以及drools的规则语言，这两种语言都是“声明式语言”，因此有必要弄清楚声明式语言究竟是什么。

声明式语言（Declarative Language）是相对于命令式语言（Imperative Language）而言的，其实我们天天在用这两类语言。

命令式语言典型的例子是C、Java、PHP等语言，其特点是提供了if-else、foreach等基本逻辑控制命令（英语中成为primitives），使得我们可以通过这些基本单元来描述完成任务的过程。

声明式语言的典型例子是SQL或者XQuery（可能比较少用，但是XPath是XQuery的一部分，应该大部分人都知道的），声明式语言是一种更为高级（Higher level）的语言，使用的时候并不需要去描述具体实现任务的步骤，只需要描述希望达成的目的。比如，在用SQL的时候，你只需要告诉DB希望查询什么数据（如select * from books），而DB会执行相应的处理流程来完成任务。DSL也是非常典型的声明式语言。

说到这里，可能你还是不明白这两者到底有什么不同。你会说诸如SQL这样的声明式语言也有foreach这种基本逻辑控制命令。是的，本质上而言，命令式语言是描述过程，而声明式语言是描述目标。但是站在不同的层次，过程可能也是目标，而目标也可能成为过程。

后来我想到，产品经理写文档就是天然的声明式编程，他们更多的是描述希望达到的目标；而作为程序员，我们写下的每一行代码就是命令式编程。

这是一行产品需求：

这个需求用抽象语言（DSL）描述成：

但是当我们来实现的时候我们会做：

你会发现在声明式语言中，你需要用到user_buy_pencil这样的语法，而在命令式语言中，我们使用了更基本的状态判断。所以，声明式编程用到的更多是Problem Domain（问题域）语法，而命令式编程更多的是用到Primitive（基本控制单元）语法。这个例子中的，in_scenario也可以认为是产品经理专用语言，用于描述需求。

多年以前阅读《Learn You a Haskell for Great Good!》这本书读到一个例子，题目是：求边长小于10并且是整数的直角三角形。

拿到这个问题，一看挺简单啊，判定直接三角形就是用勾股定律嘛，”Life is short, you need Python”：

然而，我们看看在Haskell语言中的实现：