「命令型プログラミング」の版間の差分

'''命令型プログラミング'''（{{lang-en-short|Imperative Programming}}）は、[[プロセス|プログラム]]の{{仮リンク|状態（計算機科学）|en|State (computer science)|label=状態}}を変化させる[[文 (プログラミング)|ステートメント]]を基本文に用いる総称的な[[プログラミングパラダイム]]であり、現在る。ステートメントでは主に[[コマンド (コンピュータ)|コマンド]]（命令文）が多用される。[[宣言型プログラミング]]と対をなしての[[プログラミング言語]]の分類用語としても扱われている。その対義語は[[宣言型プログラミング]]である。宣言型がの[[数学]]の的性質に沿っているのに対して、命令型は[[ノイマン型コンピュータプログラミング]]向けの[[計算機科学]]特有の性質に沿っている。命令型の定義は、[[プログラム (コンピュータ)|プログラム]][[プロセス]]の状態（state）を変更できる性質のプログラム基本文である[[ステートメント]]（statement）を扱っている。ことであり、そのプログパラダイム構成は現行計算枠外の状態を変更するための[[コマンド (コンピュータ)|コンピュータコマンド]]が多くなる。、[[手続き型プログラミング|手続き型]]、[[構造化プログラミング|構造化]]、{{仮リンク|モジュラループログラミング|en|Modular programming|label=モジュラー}}、[[オブジェクト指向プログラミング|オブジェクト指向]]などが命令型プログラミングに分類されを包括している。

[[宣言型プログラミング|宣言型]]は、+をただ数を足す計算にしており、当たり前に聞こえるがこれが数学的と言われる。ゆえにdeclarative（[[宣言型の基本文は[[式 (プログラミング)的知識|式宣言的]]とされた。declarative（宣言型）とは計算の平叙性を意味している。おり、オペレータの働き計算をその定義のままに把握できるので、これが「何を為すべきか」になる。

命令型に対する[[宣言型プログラミング|宣言型]]というプログラミング理論構図が重視され始めたのは1970年代からであり、状態による計算の複雑性がもたらした手続きのブラックボックス化偏重への見直しがその主な動機になっている。[[副作用 (プログラム)|プログラム副作用]]に寛容な命令型プログラミングに対して、入力と出力の一貫性を保証する[[参照透過性]]に厳格なプログラミングが[[宣言型プログラミング|宣言型]]と呼ばれた。なお、冒頭の状態を見ないという宣言型の説明ではまともなプログラムも作れないように思えるが、宣言型では問いと答えに状態も含めてしまうという方式法で、命令型と同等の表現を可能にしている。そこで用いられるのが[[型理部分構造論理]]由来の派生{{仮リンク|部分構造型システム|en|Substructural type system}}や[[圏論]]由来の[[モナド (プログラミング)|モナド]]であり、詳細は割愛するが参照透過性もそれで維持される。従って補正するとこうなる。

* 宣言型は、(100円&状態)+200円の問いに、引数状態からの消費税10%を加算して、返り値状態に特典15ポイントを収めた、(330円&状態)の答えを出す。

最初の命令型言語はコンピュータ本来の[[機械語]]であった。1949年に機械コードを[[ニーモニック]]に置き換えた[[低水準言語]]の[[アセンブリ言語|アセンブラ]]が登場した。機械語とアセンブラの命令は非常に単純であり、ハードウェアの実装は容易になっていたが、複雑なプログラムの作成は困難だった。1954年から[[IBM]]の[[ジョン・バッカス]]が、初の[[高水準言語]]「[[FORTRAN]]」を開発した。FORTRANは機械語やアセンブラでの複雑なプログラム作成の困難さを克服しするた最初めの主要な[[高水準言語]]であるった。FORTRANはコンパイル式の手続き型言語であり、名前付きの変数、ニーモニックよりずっと複雑な式、サブプログラムといった命令型言語に共通の各種機能が利用可能であった。1958年から1960年代にかけて数学的アルゴリズムをより表現し易くする目的で手続き型言語「[[ALGOL]]」が開発された。[[手続き]]と[[制御構造|制御フロー構文]]の導入で洗練されたALGOLは、[[バロース B5000|バロースB5000]]などのコンピュータ用[[オペレーティングシステム|OS]]制作にも使われた。1959年から開発された事務処理用の「[[COBOL]]」と、1964年に制作された教育用の「[[BASIC]]」はどちらもソースコードを人間の可読性に合わせたテキスト寄りにした。1970年には[[ニクラウス・ヴィルト]]が開発した構造化言語「[[Pascal]]」が公開された。1972年に[[ベル研究所]]の[[デニス・リッチー]]が開発した「[[C言語]]」が登場した。ヴィルトは1975年から80年代にかけてモジュラルー言語「[[Modula-2|Modula]]」「[[Oberon-2|Oberon]]」を設計している。1978年から[[アメリカ国防総省]]の要求で[[ハネウェル]]のチームが新言語の策定を開始し、マルチパラダイム手続き型言語「[[Ada]]」が1983年に満を持して初回公開された。