命令式编程语言和函数式编程语言之间有什么区别？

Question

关于命令式语言和函数式（声明式语言的一个子集）编程语言之间的差异，有什么明确的答案，可以用实际例子来解释吗？有哪些主要的或最重要的命令式语言？函数语言呢？

我确实在这里读到了这个答案，但它实际上让我更加困惑-（函数式编程语言和命令式编程语言之间有什么区别？

Answer 1

没有什么大的区别。

我的意思是，现在计算机是你的奴隶（而你是一个非常不幸的国王）。要么是非常愚蠢的，你自己给他下达关于每一分钟细节的命令。比如“洗我马厩里的第一匹马”。（甚至“把一桶水带到马厩的第一个马厩。在那里洗马。清理马厩的第一个马厩”。）然后，“洗我的第二匹马”。（甚至是“桶……第二个失速……等等”）。等

或者是一个稍有见识的奴隶，你给他一个稍有常识的命令，比如“把我马厩里的马都洗干净”。但实际上，你可以对你最初愚蠢的奴隶说这句话，他多年来变得更聪明了，因为他写下了他需要执行的每个动作的食谱，所以更一般的食谱可以指更简单的食谱，而不是重新描述每一步。

所以现在真的没有区别了。假设你在与第二个奴隶交谈时遵守了某些限制，这使你更容易向他描述你的下一个请求。你还在做所有的描述。

这两种人都不像总经理，你可以向他们解释你对如何代表你完成工作的总体感受，他们自己也能解决细节问题。

当然，一个总经理需要许多助手，他们可能会利用许多愚蠢的奴隶。而且更笨。

聪明的总经理可能比你自己更了解如何管理你的帝国。他们甚至可能完全取代你掌舵。

上述观点认为，functional不是声明式的子集。

编辑：第二个奴隶拒绝从你那里理解某些事情。你可以告诉第一个，例如：“n是1。把一桶水带到第n个摊位。n现在是2。在第n个摊位洗马。n现在是3。清理第n个摊位”。这将导致运行时错误。

更聪明的奴隶不会理解你的意思。他知道第一个马厩不会突然变成第二个；它是第一个，一直都是。这有助于你不下达愚蠢的命令。这是功能性的——知道有些事情没有完成，拒绝服从愚蠢的命令。势在必行，这样做一点问题都没有。所以在命令式编程中，责任在你身上，只有你自己；函数范式强加给你的纪律减轻了你的负担。

^（*）很抱歉从人类黑暗的历史中唤起这种令人厌恶的范式；即使在今天，在世界上的某些地方也不是那么遥远。

Answer 2

让我们使用这个简单的代码：a=b c来检查差异。

当我们用命令式语言（如c）编写a=bc时，我们只是将bc的当前值赋给变量a，仅此而已。我们没有对a是什么做任何基本的陈述。相反，我们只是在执行流程中的一个步骤。

当我们用声明性语言（如Microsoft Excel）编写a=bc时，我们在断言a、b和c之间的关系，因此a总是其他两种语言的总和。这不是一个过程中的一个步骤，它是一个不变量，一个保证，一个真理的宣言。

函数式语言也是声明式的，但几乎是偶然的。例如，在哈斯克尔中，a=b c也断言不变关系，但这只是因为b和c是不可变的。