コンテンツへスキップ
uencoder

Declarative Programming

宣言型プログラミングは「どうするか」ではなく「何をするか」を記述し、実行手順をシステムに任せるパラダイムである。例:SQL/HTML/正規表現。

目的

より高い抽象度で意図を表現し、命令的な定形コードを減らす。

メカニズム

結果や制約を宣言すると、ランタイムやコンパイラが実行方法を決める。SQL は反復ではなくクエリを宣言し、React の JSX は DOM 操作ではなく UI を宣言する。関数型プログラミングは宣言型の部分集合であり、命令型と補完関係にある。

ユースケース

  • クエリ設計
  • UI の宣言
  • 設定ファイル

関連ツール

References