プログラミング言語理論

それ以降のプログラミング言語理論の歴史におけるその他の重要な出来事は以下のとおりです。

1950年代

• ノーム・チョムスキーは言語学の分野でチョムスキー階層を提唱し、その発見はプログラミング言語理論やその他のコンピュータ科学分野に直接的な影響を与えた。

1960年代

• 1962年、オーレ＝ヨハン・ダールとクリステン・ニーガードによってシムラ言語が開発されました。これはオブジェクト指向プログラミング言語の最初の例として広く認識されており、シムラはコルーチンの概念も導入しました。
• 1964年、ピーター・ランディンは、チャーチのラムダ計算がプログラミング言語のモデル化に利用できることを初めて認識した人物である。彼はラムダ式を「解釈」するSECDマシンを導入した。
• 1965年、ランディンはJ演算子を導入した。これは本質的には継続の一形態である。
• 1966年、ランディンは論文「次世代プログラミング言語700選」の中で、抽象プログラミング言語ISWIMを紹介した。ISWIMは、 Haskell言語につながる言語設計に大きな影響を与えた。
• 1966年、コラード・ベームはCUCH（カリー・チャーチ）という言語を導入した。^{[ 3 ]}
• 1967年、クリストファー・ストラッチーは、影響力のある講義ノート集『プログラミング言語の基本概念』を出版し、 R値、L値、パラメトリック多相性、アドホック多相性といった用語を導入した。
• 1969年、J.ロジャー・ヒンドレーは『組み合わせ論理における対象の主要な型スキーム』を発表し、後にヒンドレー・ミルナー型推論アルゴリズムへと一般化された。
• 1969年、トニー・ホーアは、公理的意味論の一形態であるホーア論理を提唱した。
• 1969年、ウィリアム・アルビン・ハワードは、自然演繹と呼ばれる「高レベル」の証明体系が、直観主義的なバージョンでは、ラムダ計算として知られる計算モデルの型付き変種として直接解釈できることを指摘した。これは後にカリー＝ハワード対応として知られるようになった。

1970年代

• 1970年、ダナ・スコットは初めて指示的意味論に関する研究を発表した。
• 1972年、論理プログラミングとPrologが開発され、コンピュータプログラムを数理論理で表現することが可能になった。
• アラン・ケイ率いるゼロックスPARCの科学者チームは、革新的な開発環境で広く知られるオブジェクト指向言語であるSmalltalkを開発した。
• 1974年、ジョン・C・レイノルズはシステムFを発見した。これはすでに1971年に数学論理学者のジャン＝イヴ・ジラールによって発見されていた。
• 1975年から、ジェラルド・ジェイ・サスマンとガイ・スティールは、リスプの方言であるScheme言語を開発しました。Schemeは、字句スコープ、統一された名前空間、および第一級継続を含むアクターモデルの要素を取り入れています。
• バックアスは1977年のチューリング賞受賞講演で、当時の産業用プログラミング言語の現状を厳しく批判し、現在では関数型プログラミング言語として知られる新しい種類のプログラミング言語を提唱した。
• 1977年、ゴードン・プロトキンは、抽象型付き関数型言語である『プログラミング計算可能関数』を発表した。
• 1978年、ロビン・ミルナーはML言語向けにヒンドレー・ミルナー型システム推論アルゴリズムを発表した。型理論はプログラミング言語への応用分野として確立され、この応用は長年にわたり型理論の大きな進歩につながった。

1980年代

• 1981年、ゴードン・プロトキンは構造化操作意味論に関する論文を発表した。
• 1988年、ジル・カーンは自然意味論に関する論文を発表した。
• ロビン・ミルナーの通信システムの計算やCAR・ホーアの通信逐次プロセスモデルなどのプロセス計算、およびカール・ヒューイットのアクターモデルなどの並行性の類似モデルが登場した。
• 1985年のMirandaのリリースは、遅延評価を行う純粋関数型プログラミング言語への学術的な関心を呼び起こした。オープンスタンダードを定義するための委員会が結成され、1990年にHaskell 1.0標準がリリースされた。
• ベルトラン・メイヤーは契約による設計という手法を考案し、それをエッフェルの設計言語に組み込んだ。

1990年代

• グレゴール・キザレス、ジム・デ・リヴィエール、ダニエル・G・ボブロウは、『メタオブジェクトプロトコルの芸術』という本を出版した。
• エウジェニオ・モッジとフィリップ・ワドラーは、関数型プログラミング言語で書かれたプログラムを構造化するために、モナドの使用法を導入した。

形式意味論とは、コンピュータプログラムやプログラミング言語の振る舞いを形式的に規定するものです。コンピュータプログラムの意味、つまり「意味」を記述する一般的なアプローチとして、表示的意味論、操作的意味論、公理的意味論の3つが挙げられます。

型理論は型システムの研究であり、型システムとは「計算する値の種類に応じて句を分類することにより、特定のプログラム動作がないことを証明するための扱いやすい構文的方法」である。^{[ 4 ]}多くのプログラミング言語は、その型システムの特性によって区別される。

プログラム解析とは、プログラムを調べて主要な特性（例えば、特定の種類のプログラムエラーの有無など）を特定する一般的な問題である。プログラム変換とは、ある形式（言語）のプログラムを別の形式に変換するプロセスである。

比較プログラミング言語分析は、言語をその特性に基づいて異なるタイプに分類しようとするものであり、言語の広範なカテゴリはしばしばプログラミングパラダイムとして知られています。

メタプログラミングとは、実行されると結果としてプログラム（場合によっては異なる言語、または元の言語のサブセットで）を生成する、より高次のプログラムを生成することである。

ドメイン固有言語とは、特定のドメイン、あるいはその一部における問題を効率的に解決するために構築された言語のことである。

コンパイラ理論とは、コンパイラ（より一般的にはトランスレータ）を作成するための理論であり、ある言語で書かれたプログラムを別の言語の形式に変換するプログラムを指します。コンパイラの動作は、従来、構文解析（スキャンと構文解析）、意味解析（プログラムが何をするべきかを決定する）、最適化（何らかの指標（通常は実行速度）で示されるプログラムのパフォーマンスを向上させる）、およびコード生成（ターゲット言語で同等のプログラム（多くの場合、中央処理装置（CPU）の命令セットアーキテクチャ）を生成して出力する）に分けられます。

ランタイムシステムとは、プログラミング言語のランタイム環境とその構成要素（仮想マシン、ガベージコレクション、外部関数インターフェースなど）の開発を指します。