MinCaml
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/06/07 20:45 UTC 版)
MinCamlは、ペンシルベニア大学（当時）の住井英二郎がOCamlで実装した、Caml似のMLの小型版である。同作者により、コンパイラが OCaml 自身で書かれている。MinCaml は、2004年度の未踏ソフトウェア創造事業に採択された。 MinCaml コンパイラは教育目的での利用を主眼としている。わずか2000行前後のコードで書かれており、実装されている機能はMLのサブセットである。バックエンドはSPARCとx86に対応しており、ある程度の学習をすれば比較的容易に改造を行うことができる（実際、有志によってPowerPC用に出力できるバージョンも提供されている。バックエンドをLLVMに置き換えた例も報告されている。）。実際に東京大学理学部情報科学科などで教育目的に利用され、国内における OCaml および関数型言語の普及と理解に一定の役割を果たしている[要出典]。 速攻MinCamlコンパイラ概説 - MinCamlの配布・解説（SourceForge.net）
※この「MinCaml」の解説は、「OCaml」の解説の一部です。
「MinCaml」を含む「OCaml」の記事については、「OCaml」の概要を参照ください。
ウィキペディア小見出し辞書の「MinCaml」の項目はプログラムで機械的に意味や本文を生成しているため、不適切な項目が含まれていることもあります。ご了承くださいませ。
お問い合わせ。
- MinCamlのページへのリンク
