☰
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.
“尾部模构造函数”程序转换
27.
使用 ThreadSanitizer 进行数据竞争的运行时检测
IV.
OCaml 库
28.
核心库
29.
标准库
30.
编译器前端
31.
unix 库：Unix 系统调用
32.
str 库：正则表达式和字符串处理
33.
runtime_events 库
34.
线程库
35.
dynlink 库：动态加载和链接目标文件
36.
最近移除或移动的库（Graphics、Bigarray、Num、LablTk）
V.
索引
模块索引
模块类型索引
类型索引
异常索引
值索引
关键词索引
Xavier Leroy,
Damien Doligez, Alain Frisch, Jacques Garrigue, Didier Rémy 和 Jérôme Vouillon
Copyright © 2024 法国国家信息与自动化研究院