计算机语言根据计算模型的不同，划分为命令式语言（Imperative programming）常用的C、Java等语言均为命令式和申诉式语言（Declarative programming）。
正则表达式（
Regular expressions）函数式语言（
Functional programming 如 LISP）和逻辑语言（
Logic programming 如：Prolog）均为申诉式语言。
所谓申诉设语言，常见的定义形式有：
- 非命令式语言的任何其它语言均为申诉式语言
- 一种声明那些计算应该被执行，而不是应该如何去计算的语言
- 没有任何边界约束的所有语言
- 一种明确表达数学逻辑的语言
在计算机科学领域，申诉式编程语言是一种语言风格，它表达的是一个没有包含任何控制流描述的计算逻辑。申诉式语言试图通过描述什么计算被执行，而不是应该如何去完成计算来简化或者消除边界约束
(
side effect
)。这点是与我们常用的C、Java等命令式语言完全不同的，命令式语言的描述重点是算法，命令式语言程序设计的模式
是我们熟悉的“算法+数据”模式。
申诉式语言中，程序是逻辑的理论和计算在逻辑空间的推理。如今，申诉式语言在并行计算等领域正在越来越受到人们的关注。
http://www.bing.com/reference/semhtml/Declarative_programming?mkt=zh-CN
最后
以上就是无情钻石最近收集整理的关于什么是申诉式编程语言（Declarative Language）的全部内容，更多相关什么是申诉式编程语言（Declarative内容请搜索靠谱客的其他文章。
本图文内容来源于网友提供，作为学习参考使用，或来自网络收集整理，版权属于原作者所有。
发表评论 取消回复