OCaml 5.2 refman
W.I.P
☰
OCaml システム リリース 5.2
2024 年 2 月
このマニュアルは、PDF、プレーン テキスト、HTML ファイルのバンドル、およびEmacs Info ファイルのバンドル でもご利用いただけます。
OCaml マニュアル
目次
序文
キーワード索引
OCaml API
OCaml コンパイラ API
目次
序文
I. OCaml の紹介
1. コア言語
2. モジュール システム
3. OCaml のオブジェクト
4. ラベル付き引数
5. 多態的バリアント
6. 多態性とその制限
7. 一般化された代数的データ型
8. クラスとモジュールを使用した高度な例
9. 並列プログラミング
10. メモリ モデル: 難しい部分
II. OCaml 言語
11. OCaml 言語
12. 言語拡張
III. OCaml ツール
13.バッチ コンパイル (ocamlc)
14. トップレベル システムまたは REPL (ocaml)
15. ランタイム システム (ocamlrun)
16. ネイティブ コードのコンパイル (ocamlopt)
17. レクサーおよびパーサー ジェネレーター (ocamllex、ocamlyacc)
18. 依存関係ジェネレーター (ocamldep)
19. ドキュメント ジェネレーター (ocamldoc)
20. デバッガー (ocamldebug)
21. プロファイリング (ocamlprof)
22. C と OCaml のインターフェイス
23. Flambda による最適化
24. afl-fuzz によるファジング
25. ランタイム イベントによる実行時トレース
26. “Tail Modulo Constructor” プログラム変換
27. ThreadSanitizer によるデータ競合の実行時検出
IV. OCaml ライブラリ
28. コア ライブラリ
29. 標準ライブラリ
30. コンパイラ フロントエンド
31. unix ライブラリ: Unix システム コール
32. str ライブラリ: 正規表現と文字列処理
33.ランタイム イベント ライブラリ
34. スレッド ライブラリ
35. dynlink ライブラリ: オブジェクト ファイルの動的読み込みとリンク
36.最近削除または移動されたライブラリ (Graphics、Bigarray、Num、LablTk)
V. インデックス
モジュールのインデックス
モジュール タイプのインデックス
タイプのインデックス
例外のインデックス
値のインデックス
キーワードのインデックス
Xavier Leroy、
Damien Doligez、Alain Frisch、Jacques Garrigue、Didier Rémy、ジェローム・ヴイヨン Copyright © 2024 Institut National de Recherche en Informatique et en Automatique