-
宣告式編程
鎖定
- 中文名
- 宣告式編程
- 外文名
- Declarative programming
- 學 科
- 計算機科學
- 應 用
- 軟件編程
- 別 名
- 聲明式編程
宣告式編程簡介
聲明式編程(英語:Declarative programming)是一種編程範式,與命令式編程相對立。它描述目標的性質,讓計算機明白目標,而非流程。聲明式編程不用告訴計算機問題領域,從而避免隨之而來的副作用。而命令式編程則需要用算法來明確的指出每一步該怎麼做
[1]
。
宣告式編程定義
- 聲明式編程是告訴計算機需要計算“什麼”而不是“如何”去計算
- 任何沒有副作用的編程語言,或者更確切一點,任何引用透明的編程語言
- 任何有嚴格計算邏輯的編程語言
這些定義有一些是重合的。
宣告式編程子編程範式
宣告式編程約束式編程
在約束式編程中,變量之間的關係是在約束中説明的,定義了問題的解的範圍。這些約束然後被應用程序來求解,以使得每個變量獲得一個值,並讓最多的約束得到滿足。
約束式編程經常被用作函數式編程、邏輯編程甚至命令式編程的補充。
宣告式編程領域專屬語言
一些著名的聲明式領域專屬語言(DSLs)包括yacc語法分析器,編譯説明語言Make,Puppet管理配置語言,正則表達式和SQL的一些子集(例如Select queries等)。DSLs有時非常有用,並且不需要是圖靈完全的,這往往讓其很容易以一種純聲明式的方式來表達。
宣告式編程函數式編程
函數式編程,特別是純函數式編程,嘗試最小化狀態帶來的副作用,因此被認為是聲明式的。大多數函數式編程語言,例如Scheme、Clojure、Haskell、OCaml、Standard ML和Unlambda,允許副作用的存在。
宣告式編程邏輯式編程
邏輯式編程語言如Prolog聲明關係並且對關係進行提問。同函數式編程一樣,許多邏輯編程語言允許副作用的存在。