宣言型プログラミング
(宣言型 から転送)
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2024/07/28 02:45 UTC 版)
宣言型プログラミング(英: Declarative programming)は、数理論理学的な性質を表わしている総称的なプログラミングパラダイムである。式の計算構造を、主に表示的意味論下のロジックで表現する構文にされることが多く、式枠外の副作用を伴なう制御フローや自由変数の多用などは排除されるようになる[1]。計算構造は演繹的に組み立てられることが多い。命令型プログラミングと対をなしてのプログラミング言語の分類用語としても扱われている。[注釈 1]}
- 1 宣言型プログラミングとは
- 2 宣言型プログラミングの概要
宣言型プログラミングと同じ種類の言葉
- 宣言型プログラミングのページへのリンク