「プログラミングパラダイム」の版間の差分

プログラミングパラダイムは、[[プログラマ]]にプログラムの見方を与えるものと言える。たとえば、[[オブジェクト指向プログラミング]]において、プログラムとは[[オブジェクト]]をつくりそれを管理するものである。[[関数型言語|関数型プログラミング]]においては、状態を持たない[[関数 (プログラミング)|関数]]の[[評価]]の連続である。

 

 

多くのプログラミングパラダイムでは、「やってはいけないこと」（禁じ手）が存在する。たとえば純粋な関数型プログラミングでは、[[副作用 (プログラム)|副作用]]があってはならず、[[構造化プログラミング]]では[[Goto文|goto]]の使用価値を認めていない。特にこの理由により、古いスタイルに慣れている人々からは非現実的または過剰に厳密なものとしてよく見なされる。しかしながら、こうした特定のテクニックを避けるということで、プログラミング言語の一般的な法則に制約されることなく、プログラムの正確さ（あるいは単にその動作を理解すること）についての法則を証明しやすくする。

* [[ツリープログラミング]]

* 註釈プログラミング (''Annotative programming'') - http://www.flare.org

* [[コンセプト指向プログラミング]]