Programming-in-OCaml_1-5
をテンプレートにして作成
[
トップ
] [
新規
|
一覧
|
検索
|
最終更新
|
ヘルプ
|
ログイン
]
開始行:
[[プログラミング in OCaml]] ＞ 第1章 はじめに
*1.5 OCamlの歴史 [#l4f1c0c1]
OCamlはMLというプログラミング言語を祖先として発展してきた...
**ML （Meta-Language） [#a9706c67]
-[[ML (プログラミング言語) - Wikipedia>https://ja.wikiped...
>ML（えむえる、Meta-Language）は、関数型言語のひとつであ...
現代風の関数型言語としては歴史が古いほうで、型推論機能な...
>''歴史''
デイナ・スコットの提案したPPLAMBDAという論理体系を利用し...
1973年に発足したEdinburgh LCFのプロジェクトにおいて、証明...
Edinburgh LCFとMLは、1975～76年にエディンバラ大学で実装さ...
特に1980年代以降、汎用プログラミング言語として多数の機能...
***ロビン・ミルナー [#n195bfec]
-[[ロビン・ミルナー - Wikipedia>https://ja.wikipedia.org/...
>アーサー・ジョン・ロビン・ゴレル・ミルナー（Arthur John ...
通称はロビン・ミルナーまたはA・J・R・G・ミルナー。プリマ...
&ref(Robin_Milner.jpg);
(via [[Robin Milner | British computer scientist | Britan...
~
** OCaml [#ec42cec6]
後に1980年代になって、ミルナーらによって標準的なMLとしてS...
一方、1980年代後半、フランスのINRIAでカテゴリカル抽象機械...
Camlは、1990年頃にザビエ・ルロワ（Xavier Leroy）によって...
その後、モジュール機構を導入したCaml Special Lightを経て1...
***ザビエ・ルロワ [#se76b22f]
-[[Xavier Leroy - Wikipedia>https://en.wikipedia.org/wiki...
>Xavier Leroy (born March 15, 1968) is a French computer ...
He is best known for his role as a primary developer of t...
He is Professor of software science at Collège de France.
&ref(Xavier_Leroy.jpg);
(via Xavier Leroy - Home page https://xavierleroy.org/)
終了行:
[[プログラミング in OCaml]] ＞ 第1章 はじめに
*1.5 OCamlの歴史 [#l4f1c0c1]
OCamlはMLというプログラミング言語を祖先として発展してきた...
**ML （Meta-Language） [#a9706c67]
-[[ML (プログラミング言語) - Wikipedia>https://ja.wikiped...
>ML（えむえる、Meta-Language）は、関数型言語のひとつであ...
現代風の関数型言語としては歴史が古いほうで、型推論機能な...
>''歴史''
デイナ・スコットの提案したPPLAMBDAという論理体系を利用し...
1973年に発足したEdinburgh LCFのプロジェクトにおいて、証明...
Edinburgh LCFとMLは、1975～76年にエディンバラ大学で実装さ...
特に1980年代以降、汎用プログラミング言語として多数の機能...
***ロビン・ミルナー [#n195bfec]
-[[ロビン・ミルナー - Wikipedia>https://ja.wikipedia.org/...
>アーサー・ジョン・ロビン・ゴレル・ミルナー（Arthur John ...
通称はロビン・ミルナーまたはA・J・R・G・ミルナー。プリマ...
&ref(Robin_Milner.jpg);
(via [[Robin Milner | British computer scientist | Britan...
~
** OCaml [#ec42cec6]
後に1980年代になって、ミルナーらによって標準的なMLとしてS...
一方、1980年代後半、フランスのINRIAでカテゴリカル抽象機械...
Camlは、1990年頃にザビエ・ルロワ（Xavier Leroy）によって...
その後、モジュール機構を導入したCaml Special Lightを経て1...
***ザビエ・ルロワ [#se76b22f]
-[[Xavier Leroy - Wikipedia>https://en.wikipedia.org/wiki...
>Xavier Leroy (born March 15, 1968) is a French computer ...
He is best known for his role as a primary developer of t...
He is Professor of software science at Collège de France.
&ref(Xavier_Leroy.jpg);
(via Xavier Leroy - Home page https://xavierleroy.org/)
ページ名:
![[PukiWiki]](image/pukiwiki.png "[PukiWiki]")
