1. camlspotter
  2. ocaml-tools-document-in-japanese

Commits

camlspotter  committed ef4cd9d Draft

added stars

  • Participants
  • Parent commits 108188e
  • Branches default

Comments (0)

Files changed (1)

File README.rst

View file
  • Ignore whitespace
 バグフィックスパッチやリリースはより頻繁にある。
 
 ocaml toplevel ★★★★
--------------------
+--------------------------
 OCaml 対話環境。いわゆる REPL(Read-Eval-and-Print Loop)。
 入力は型推論の後 bytecode へとコンパイルされ VM により評価される。
 Bytecode とはいえコンパイルが入るため、インタープリタとは普通呼ばれない。
 (Native code へとコンパイルする ocamlnat という対話環境も存在する。ただしまだ「非公式」)
 
 ocamlc bytecode compiler ★★★★★
-----------------------------
+---------------------------------------
 OCaml ソースコードを bytecode へとコンパイルするコンパイラ。
 Bytecode プログラムは native code と比べると遅いが、 ocamldebug を使ったデバッグが可能。
 
 ocamlopt native code compiler ★★
----------------------------------
+-----------------------------------------
 OCaml ソースコードを native code (マシン語)へとコンパイルする。 
 Native code がサポートされているアーキテクチャで OCaml コンパイラソースコードディレクトリで make opt すると作成される。
 実はほとんど使わない。次の ocamlc.opt, ocamlopt.opt を参照のこと。
 
 ocamlc.opt ocamlopt.opt ★★★★★
-----------------------------
+---------------------------------------
 Native code にコンパイルされた bytecode および native code コンパイラ。
 Native code コンパイルが可能な環境では通常このコンパイラを使う。
 
 (ユーザに Menhir をインストールさせるのが面倒だと思われる場合は、 Menhir で新しい機能を使わず、デバッグ開発を行い、リリース時には ocamlyacc に戻す、ということも可能。)
 
 Camlp4 pre-processor and pretty printer ★★★
-=============================================
+====================================================
 Camlp4 (略称P4) は Pre-Processor and Pretty Printer の4つの P から P4 と呼ばれ、
 自分でパーサーをスクラッチから記述できるだけでなく、 
 OCaml コードでのマクロや文法拡張を実現することもできる強力なツール。
 P4 と P5 が何故ブランチしたか、はさまざまな事情があるがここで語るべきではない。
 
 ocamlmktop, ocamlmklib ★★★
-===========================
+================================
 まだ書いてない
 
 ocamldoc ★★
 導入にはソースディレクトリ/emacs/README を読むこと。
 
 caml.el ★★★★★
----------------------
+------------------------
 OCaml プログラムのインデントとハイライトを提供する Caml-mode を提供する。
 外部ツールである tuareg-mode を好む人もいる。
 
 caml-types.el ★★★★★
-----------------------
+----------------------------
 任意の部分式の型を表示させることで型エラー解消などの作業を効率的に行うためのツール。
 
 OCaml コンパイラ(ocamlc, ocamlopt)に -annot オプションを付けて \*.ml, \*.mli ファイルを
 ====================================
 
 バイトコードデバッガ ocamldebug ★
-----------------------------------
+------------------------------------------
 
 ごくたまに利用される程度である。
 
 ocamldebug では一旦進めたデバッグステップを巻き戻すことができるという、ちょっと変わった機能がある。とは言え… printf デバッグか、 gdb を使った native code プログラムのデバッグの方が判りやすい場合が多い。どうしてもプログラム挙動がわからない場合、念のために使われることが多い。これは ocamldebug が非力だからというのではなく、やはり静的に型付けされた関数型プログラムではキャストの誤りや NULL エラーが起こることがなく、あまりデバッグを必要としないからというのが大きい。
 
 バイトコードプロファイラ ocamlprof と ocamlcp ★
-----------------------------------------------
+---------------------------------------------------------
 
 ほとんど利用されない。