编程语言-声明式编程
-
编程语言
- 知识-自由百科知识生网
- 2023-11-08 18:01
- 自由百科知识网
编程语言-声明式编程 ,对于想学习百科知识的朋友们来说，编程语言-声明式编程是一个非常想了解的问题，下面小编就带领大家看看这个问题。
原文标题：声明式编程
声明式编程，（英语：Declarative programming）是一种编程范式，与命令式编程相对立。
向往的生活老友记资源
声明式编程（英语：Declarative programming）是一种编程范式，与命令式编程相对立。它描述目标的性质，让计算机明白目标，而非流程。声明式编程不用告诉计算机问题领域，从而避免随之而来的副作用。而命令式编程则需要用算法来明确的指出每一步该怎么做。
声明式编程通常被看做是形式逻辑的理论，把计算看做推导。声明式编程因大幅简化了并行计算的编写难度，自2022起备受关注。
声明式语言包包括数据库查询语言（SQL，XQuery），正则表达式，逻辑编程，函数式编程和组态管理系统。
声明式编程透过函数、推论规则或项重写（term-rewriting）规则，来描述变量之间的关系。它的语言运行器（编译器或解释器）采用了一个固定的算法，以从这些关系产生结果。
声明式编程语言通常用作解决人工智能和约束满足问题。
子编程范式
声明式编程是一个大的概念，其下包含一些有名的子编程
为生活加点啥
范式。约束式编
在约束式编程中，变量之间的关系是在约束中说明的，定义了问题的解的范围。这些约束然后被应用程序来求解，以使得每个变量获得一个值，并让最多的约束得到满足。
约束式编程经常被用作函数式编程、逻辑编程甚至命令式编程的补充。
领域专属语言
一些著名的声明式领域专属语言（DSLs）包括yacc语法分析器，编
莉琴生活照
译说明语言Make，Puppet管理配置语言，正则表达式和SQL的一些子集（例如Select queries等）。DSLs有时非常有用，并且不需要是图灵完全的，这往往让其很容易以一种纯声明式的方式来表达。很多文本标记语言例如、MXML、XAML和XSLT往往是声明式的。
函数式编程
函数式编程，特别是纯函数式编程，尝试最小化状态带来的副作用，因此被认为是声明式的。大多数函数式编程语言，例如Schpe、Clojure、Haskell、OCaml、Standard ML和Unlambda，允许副作用的存在。
逻辑式编程
逻辑式编程语言如Prolog声明关系并且对关系进行提问。同函数式编程一样，许多逻辑编程语言允许副作用的存在。
原文出处：http://bkw.iwtmm.com/post/24783
以上是关于编程语言-声明式编程的介绍，希望对想学习百科知识的朋友们有所帮助。
本文标题：编程语言-声明式编程；本文链接：http://yszs.weipeng.cc/zs/160673.html。
猜你喜欢
- 编程语言-汇编 2023-11-13
- 编程语言-命令式编程 2023-11-08
