宣言型プログラミングとは？

ウィキペディア

宣言型プログラミング

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/02/05 09:01 UTC 版)

宣言型プログラミング（英: Declarative programming）は、総称的に用いられるプログラミングパラダイムであり、プログラミング言語およびパラダイム間の分類用語として使われることが多い。対義語である命令型プログラミングとの対比概念としてよく用いられる。宣言型はプログラミング理論のバックボーンである数学および形式論理学の性質に準拠したものであり、オートマタ理論、自動推論、形式言語、ドメイン固有言語などの性質にも適合している。前提と結論、定義と推論、問題と解答、条件と結果、入力と出力などが時系列に関係なく正確に対応して例外なく明示されており、その触媒となる作用、写像、演算などは原則として冪等であり、それに対する入力要素と出力要素が不可欠になっているという性質を指して宣言的（declarative）または平叙的（declarative）と言われる。