宣告せんこく式しき編へん程ほど

本页使用了标题或全文手工转换
维基百科ひゃっか，自由じゆう的てき百科ひゃっか全ぜん书

宣告せんこく式しき編へん程ほど（英語えいご：Declarative programming）或ある译为声明せいめい式しき编程，是ぜ對たい與あずか指令しれい式しき編へん程ほど不同ふどう的てき編へん程ほど範はん型がた的てき一いち種しゅ合ごう稱しょう。它们建造けんぞう计算机つくえ程ほど序じょ的てき结构和わ元素げんそ，表おもて达计算的てき逻辑而不用よう描述它的控ひかえ制せい流りゅう程ほど[1]。

概がい述じゅつ[编辑]

常見つねみ的てき宣告せんこく式しき語ご言げん包括ほうかつ：資料しりょう庫こ查詢語ご言げん如SQL的てき查询子こ集しゅう和わXQuery（英えい语：XQuery），正せい则表达式，配置はいち管理かんり系けい统如Puppet管理かんり配置はいち语言。歸かえり入にゅう這種範はん型がた的てき很多語ご言げん，描述问题领域（英えい语：Domain knowledge）内うち目標もくひょう的てき性質せいしつ，讓ゆずる電腦でんのう明白めいはく目標もくひょう，而非流りゅう程ほど，从而尝试极小化か有ゆう关的副作用ふくさよう[2]。而指令しれい式しき编程则需要用ようよう语言原げん语（英えい语：Language primitive）来らい明あかり确的指出さしで每ごと一いち步ほ该怎么做[3]。

可か归入声明せいめい式しき编程范型的てき领域专属语言（DSL）还包括ほうかつ：yacc语法解析かいせき器き，编译说明语言Make等ひとし。DSL不ふ需要じゅよう是ぜ图灵完全かんぜん的てき，往往おうおう容易ようい以一种纯声明式的方式来表达。很多文ぶん本ほん标记语言例れい如HTML、MXML、XAML和わXSLT往往おうおう是ぜ声明せいめい式しき的てき。

定てい义[编辑]

声明せいめい式しき编程，通常つうじょう被ひ定てい义为除じょ指令しれい式しき以外いがい的てき任にん何なん编程范型。同どう时存在そんざい一些其他的定义，简单的てき将はた宣告せんこく式しき编程和わ命令めいれい式しき编程做对比ひ，例れい如：

  • 告つげ诉计算さん机つくえ需要じゅよう计算“什么”而不是ぜ“如何いか”去さ计算的てき高だか级程序じょ。
  • 明あかり确的对应数理すうり逻辑的てき编程语言[4]。
  • 任にん何なん没ぼつ有ゆう副作用ふくさよう的てき编程语言，或ある者もの更さら确切一いち点てん，任にん何なに參照さんしょう透明とうめい的てき编程语言。

这些定てい义存在そんざい着ぎ一いち些重合じゅうごう。

子こ编程范型[编辑]

声明せいめい式しき编程是ぜ一个笼统的概念，除じょ了りょう一些特定的领域专属语言之外，一些更加知名的编程范型也被归类为其子范型。

逻辑式しき编程[编辑]

逻辑编程通常つうじょう被ひ看み做是形式けいしき逻辑的てき理り论，把わ计算看み做推导，透過とうか函數かんすう、推理すいり规则或ある重じゅう写うつし規則きそく，來らい描述變數へんすう之の間あいだ的てき關係かんけい。它的語ご言げん執行しっこう器き（編へん譯やく器き或ある解かい释器）採用さいよう了りょう一いち個こ固定こてい的てき算法さんぽう，以從這些關係かんけい產さん生せい結果けっか。作さく为典型がた代表だいひょう的てきProlog语言，声明せいめい关系并且对关系けい进行提ひさげ问；它和许多逻辑编程语言，都みやこ允まこと许副作用ふくさよう的てき存在そんざい。

函数かんすう式しき编程[编辑]

函数かんすう式しき编程，尝试最小さいしょう化か状じょう态（英えい语：State (computer science)）带来的てき副作用ふくさよう，因いん此可以被归类入にゅう宣告せんこく式しき编程，它現在ざい因いん大幅おおはば简化了りょう并行计算的てき编写难度而备受关注ちゅう[5]。除じょ了りょう纯函数式すうしき编程语言如Haskell，多数たすう函数かんすう式しき编程语言如Scheme、Clojure、OCaml、Standard ML等ひとし，允まこと许副作用ふくさよう的てき存在そんざい。

约束式しき编程[编辑]

在ざい约束式しき编程中なか，变量之の间的关系是ぜ在ざい约束中ちゅう说明的てき，定てい义了问题的てき解かい的てき范围。这些约束然しか后きさき被ひ应用程ほど序じょ来らい求もとめ解かい，以使得とく每ごと个变量りょう获得一いち个值，并让最多さいた的てき约束得え到いた满足。约束式しき编程经常被ひ用作ようさく函数かんすう式しき編へん程ほど、逻辑编程甚至指令しれい式しき编程的てき补充，用よう来らい解決かいけつ人工じんこう智能ちのう中なか的てき約束やくそく滿足まんぞく問題もんだい。

參まいり見み[编辑]

參考さんこう[编辑]

  1. ^ Lloyd, J.W., Practical Advantages of Declarative Programming 
  2. ^ declarative language. FOLDOC. 17 May 2004 [26 January 2020]. （原始げんし内容ないよう存そん档于2015-08-10）. 
  3. ^ Sebesta, Robert. Concepts of programming languages. Boston: Pearson. 2016. ISBN 978-0-13-394302-3. OCLC 896687896. 
  4. ^ Chakravarty, Manuel M. T. On the Massively Parallel Execution of Declarative Programs (学位がくい论文). Technische Universität Berlin. 14 February 1997 [26 February 2015]. （原始げんし内容ないよう存そん档于2015-09-23）. In this context, the criterion for calling a programming language declarative is the existence of a clear, mathematically established correspondence between the language and mathematical logic such that a declarative semantics for the language can be based on the model or the proof theory (or both) of the logic. 
  5. ^ Marlow, Simon. Parallel and Concurrent Programming in Haskell: Techniques for Multicore and Multithreaded Programming. O'Reilly Media. 18 June 2013. ISBN 978-1449335946. 

外部がいぶ連結れんけつ[编辑]

取と自じ“https://zh.wikipedia.org/w/index.php?title=宣告せんこく式しき編へん程ほど&oldid=82272402”