The Objective Caml system release 3.11
   次のページ

The Objective Caml system release 3.11

Xavier Leroy

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

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

November 26, 2008

日本語訳 by OCaml.jp rev.75

この文書の ZIP アーカイブ

目次

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 型の 整数リテラル (Integer literals for types int32, int64 and nativeint)
7.2. ストリームとストリームパーザ (Streams and stream parsers)
7.3. 値の再帰的定義 (Recursive definitions of values)
7.4. レンジ パターン (Range patterns)
7.5. アサーション チェック (Assertion checking)
7.6. 遅延評価 (Lazy evaluation)
7.7. ローカル モジュール (Local modules)
7.8. プライベート型 (Private types)
7.9. 再帰的モジュール (Recursive modules)
7.10. プライベート 列型 (Private row types)
III. The Objective Caml tools
8. バッチコンパイル（ocamlc）
8.1. コンパイラの概要
8.2. オプション
8.3. Modules and the file system
8.4. Common errors
9. トップレベルシステム（ocaml）
9.1. Options
9.2. Toplevel directives
9.3. The toplevel and the module system
9.4. Common errors
9.5. Building custom toplevel systems: ocamlmktop
9.6. Options
10. ランタイムシステム（ocamlrun）
10.1. Overview
10.2. Options
10.3. Dynamic loading of shared libraries
10.4. Common errors
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. Built-in types and predefined exceptions
19.3. Module Pervasives: the initially opened module
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. Module Bigarray: large, multi-dimensional, numerical arrays
29.2. Big arrays in the Caml-C interface
A.
訳語対照表
   次のページ
   パート I. An introduction to Objective Caml