当务之急:如何实现我们的目标

   Take the next customer from a list.
   If the customer lives in Spain, show their details.
   If there are more customers in the list, go to the beginning

声明性:我们想要达到的目标

   Show customer details of every customer living in Spain

对于这些并没有明确客观的定义。以下是我对它们的定义:

命令式——重点是计算机应该采取什么步骤，而不是计算机将会做什么(例如C, c++， Java)。

声明性——重点是计算机应该做什么，而不是它应该如何做(例如SQL)。

函数式——声明性语言的子集，非常注重递归

简而言之:

命令式语言指定了计算机按顺序执行的一系列指令(做这个，然后做那个)。

声明性语言声明了一组规则，说明哪些输入应该产生哪些输出(例如:如果你有A，那么结果就是B).引擎会将这些规则应用于输入，并给出输出。

函数式语言声明了一组数学/逻辑函数，这些函数定义了如何将输入转换为输出。如。F (y) = y * y.它是一种声明性语言。

当务之急:如何实现我们的目标

   Take the next customer from a list.
   If the customer lives in Spain, show their details.
   If there are more customers in the list, go to the beginning

声明性:我们想要达到的目标

   Show customer details of every customer living in Spain

这里有一些关于所提到的“类型”的好答案。

我还提供了一些额外的、更“奇特”的概念，通常与函数式编程人群有关:

领域特定语言或DSL编程:创建一种新的语言来处理手头的问题。 元编程:当你的程序编写其他程序时。 进化编程:你构建一个系统，它可以不断地自我改进，或者不断地生成更好的子程序。

命令式编程是指任何一种编程风格，其中你的程序是由描述计算机执行的操作如何发生的指令构成的。

声明式编程是指任何一种编程风格，其中你的程序是对问题或解决方案的描述，但没有显式地说明如何完成工作。

函数式编程是通过计算函数和函数的函数来编程。函数式编程(严格定义)是指通过定义无副作用的数学函数来编程，因此它是一种声明式编程，但它不是唯一的声明式编程。

逻辑编程(例如在Prolog中)是另一种形式的声明式编程。它包括通过决定一个逻辑语句是否为真(或是否可以满足它)来计算。程序通常是一系列事实和规则——即描述，而不是一系列指令。

术语重写(例如CASL)是声明式编程的另一种形式。它涉及代数项的符号变换。它完全不同于逻辑编程和函数式编程。