ダウンロード

Ocamlについて

使い方

• Ocamlのコンパイラ

  • ocamlc バイトコードコンパイラ
  • ocamlopt ネイティブコードコンパイラ

• ファイル

  • .ml -- モジュールの実装
  • .mli -- モジュールのインターフェース
  • .cmo 実装のバイトコード
  • .cmi インターフェース定義のバイトコード
  • .cmx 実装のネイティブコード
  コンパイルにより.mliから.cmiができる。
  .mlをコンパイルするときに.cmiがなければ制約なし、あるなら型チェック。

• 付属のソフトウエア

  • ocamlyacc -- .mlyファイルを書くとそれのパーザー.mlを生成してくれる。
    (例)
    • parser.mly
    • parser.ml
  • ocamllex -- .mll からlexer .mlをつくってくれる。 (例)
    • lexer.mll
    • lexer.ml
    OcamllexとOcamlyaccについて書かれたページ
    上をちょっとメモしたやつ。

• Ocaml Make

  Ocaml用のMakeファイルを書く手間を省いてくれるMakeのスクリプト
  OcamlMakefile
  (例)Makefile
  

---

MLの基本的な使い方
MLのCOREな部分のマニュアルの訳
MLの独自の型の定義の仕方
MLの例外処理

---

リンク

The Objective Caml system release 3.04
The Ocaml Language
大岩さんのページ。

---

TOPへ

---

NAGATA Akihito

Last modified: Sat Jul 13 06:32:45 JST 2002