[ 数理解析研究所
|
関数型言語グループ ] ......................
![[English]](../icons/us-s.gif)
![[Japanese]](../icons/japan-s.gif)
ソフトウェア
ここで関数型言語・その言語で書かれたプログラムを配布または再配布してい
ます。
生産
ここで生産または変更されたソフトウェア
- LablGTK
- GTK+ツールキットのためのO'Camlインターフェース
- LablGL
- OpenGLのためのO'Camlインターフェース
- Objective Caml ソフトウェアとライブラリ
- O'CamlとO'Lablの合併によって、全てのツールとライブラリはO'Camlで
使えるようになりました。
- Objective Label
- Objective Camlを拡張した関数型言語でしたけれども、
Objective Caml 3.05には
その全機能が含まれています。
- JMMM
- WWWブラウザMMMの日本語版
資料
- 「OCamlによるプログラミング」
- 第1回PPLサマースクール講義資料
再配布
INRIAの
Cristalプロジェクトで生産されたソフトウェア
-
Caml-Light
- 関数型言語Caml-LightとObjective Caml
O'Camlのマニュアルがオンラインで閲覧できる。
- MMM
- Caml Special Lightで書かれたWWWブラウザ
JG
2009.09.23.