The Objective Caml system release 3.12
   次のページ

The Objective Caml system release 3.12

Xavier Leroy

Damien Doligez
 Alain Frisch
 Jacques Garrigue
 Didier Rémy
 Jérôme Vouillon

Copyright © 2008 Institut National de Recherche en Informatique et en Automatique

June 16, 2010

日本語訳 by OCaml.jp rev.113

この文書の ZIP アーカイブ

目次

前書き
1. 表記上の慣習
2. ライセンス
3. 情報の入手
I. An introduction to Objective Caml
1. The core language
1.1. 基本
1.2. データ型
1.3. 値としての関数
1.4. レコードとバリアント
1.5. 命令型の機能
1.6. 例外
1.7. 数式の記号処理
1.8. pretty-print と構文解析
1.9. スタンドアロン Caml プログラム
2. モジュールシステム
2.1. ストラクチャ
2.2. シグネチャ
2.3. ファンクタ
2.4. ファンクタを使った型の抽象化
2.5. モジュールと分割コンパイル
3. Caml におけるオブジェクト
3.1. クラスとオブジェクト
3.2. 直接生成されたオブジェクト
3.3. 自分自身への参照
3.4. 初期化
3.5. 抽象メソッド
3.6. プライベートメソッド
3.7. クラスインタフェース
3.8. 継承
3.9. 多重継承
3.10. パラメータ化されたクラス
3.11. 多相メソッド
3.12. 型変換の使用
3.13. 関数型オブジェクト
3.14. オブジェクトの複製
3.15. 再帰クラス
3.16. バイナリメソッド
3.17. Friend
4. ラベルとバリアント
4.1. ラベル
4.2. 多相バリアント
5. クラスとモジュールの高度な例
5.1. 高度な例：銀行口座
5.2. クラスを用いた簡単なモジュール
5.3. Subject / Observer パターン
II. The Objective Caml language
6. The Objective Caml language
6.1. 字句
6.2. 値
6.3. 名前
6.4. 型式
6.5. 定数
6.6. パターン
6.7. 式
6.8. 型と例外の定義
6.9. クラス
6.10. モジュール型
6.11. モジュール式
6.12. 翻訳単位
7. Language extensions
7.1. int32、 int64、 nativeint 型の 整数リテラル
7.2. ストリームとストリームパーサー
7.3. 値の再帰的定義
7.4. 範囲パターン
7.5. 表明の検査
7.6. 遅延評価
7.7. 局所モジュール
7.8. 再帰モジュール
7.9. private な型
7.10. 局所的 open
7.11. レコードの記法
7.12. 多相型アノテーション
7.13. 型変数の命名
7.14. 第一級のモジュール
7.15. モジュールの型の復元
7.16. シグネチャ内での代入
7.17. クラス定義中でのオーバーライドの明示
III. The Objective Caml tools
8. バッチコンパイル（ocamlc）
8.1. コンパイラの概要
8.2. オプション
8.3. モジュールとファイルシステム
8.4. よくあるエラー
9. トップレベルシステム（ocaml）
9.1. オプション
9.2. トップレベル指示子
9.3. トップレベルとモジュールシステム
9.4. よくあるエラー
9.5. カスタムトップレベルの作成: ocamlmktop
9.6. オプション
10. ランタイムシステム（ocamlrun）
10.1. 概要
10.2. オプション
10.3. 共有ライブラリの動的読み込み
10.4. よくあるエラー
11. ネイティブコードコンパイル（ocamlopt）
11.1. Overview of the compiler
11.2. Options
11.3. Common errors
11.4. Running executables produced by ocamlopt
11.5. Compatibility with the bytecode compiler
12. 字句解析器、構文解析器生成器（ocamllex、 ocamlyacc）
12.1. Overview of ocamllex
12.2. Syntax of lexer definitions
12.3. Overview of ocamlyacc
12.4. Syntax of grammar definitions
12.5. Options
12.6. A complete example
12.7. Common errors
13. 依存関係生成器（ocamldep）
13.1. Options
13.2. A typical Makefile
14. ブラウザ・エディタ（ocamlbrowser）
14.1. Invocation
14.2. Viewer
14.3. Module browsing
14.4. File editor
14.5. Shell
15. ドキュメント生成器（ocamldoc）
15.1. 使用法
15.2. Syntax of documentation comments
15.3. Custom generators
15.4. Adding command line options
16. デバッガ（ocamldebug）
16.1. Compiling for debugging
16.2. Invocation
16.3. Commands
16.4. Executing a program
16.5. Breakpoints
16.6. The call stack
16.7. Examining variable values
16.8. Controlling the debugger
16.9. Miscellaneous commands
16.10. Running the debugger under Emacs
17. プロファイラ（ocamlprof）
17.1. Compiling for profiling
17.2. Profiling an execution
17.3. Printing profiling information
17.4. Time profiling
18. C と Objective Caml のインタフェース
18.1. Overview and compilation information
18.2. The value type
18.3. Representation of Caml data types
18.4. Operations on values
18.5. Living in harmony with the garbage collector
18.6. A complete example
18.7. Advanced topic: callbacks from C to Caml
18.8. Advanced example with callbacks
18.9. Advanced topic: custom blocks
18.10. Building mixed C/Caml libraries: ocamlmklib
IV. The Objective Caml library
19. コアライブラリ
19.1. Conventions
19.2. 組み込みの型と定義済みの例外
19.3. Pervasives モジュール: 初期状態で open されているモジュール
20. 標準ライブラリ
20.1. Conventions
21. unix ライブラリ: UNIX システムコール
22. num ライブラリ: 任意精度の有理数算術
23. str ライブラリ: 正規表現と文字列処理
24. threads ライブラリ
25. graphics ライブラリ
26. dbm ライブラリ: NDBM データベースへのアクセス
27. dynlink ライブラリ：オブジェクトファイルの動的読み込みと動的リンク
28. LablTk ライブラリ: Tcl/Tk GUI インタフェース
29. bigarray ライブラリ
29.1. Bigarray モジュール: 大規模な多次元数値配列
29.2. Caml-C インタフェースでの bigarray
A.
A.1. 索引
訳語対照表
   次のページ
   前書き