OCaml 速查
共 25 条 OCaml 基础语法与工具链，涵盖基础语法、类型与模式匹配、列表与常用函数、模块与可变状态、工具链。 支持搜索与分类筛选，点击即可复制。
基础语法
函数式语言，缩进不敏感。
| 命令 | 说明 |
|---|---|
| 绑定变量（不可变） | |
| 函数定义（参数用空格分隔） | |
| 递归需加 rec | |
| 浮点运算符加点的形式 | |
| 打印与语句序列（; 分隔） |
类型与模式匹配
强类型、类型推断。
| 命令 | 说明 |
|---|---|
| 变体类型（类似枚举） | |
| 记录类型 | |
| 模式匹配 | |
| 常量构造器 | |
| option 类型（可选值） |
列表与常用函数
列表是不可变的。
| 命令 | 说明 |
|---|---|
| 列表字面量（分号分隔） | |
| 按头尾拆分列表 | |
| 映射 | |
| 过滤 | |
| 折叠 |
模块与可变状态
模块组织代码。
| 命令 | 说明 |
|---|---|
| 定义模块 | |
| 打开模块（引入其成员） | |
| 引用（可变单元格，用 ! 取值） | |
| 哈希表 | |
| 异常抛出与捕获 |
工具链
opam 与 dune。
| 命令 | 说明 |
|---|---|
| 安装包（opam 包管理器） | |
| 构建与运行（dune 项目） | |
| 进入交互式环境 | |
| 直接编译 / 解释运行 | |
| 创建指定版本的环境 |
使用说明
OCaml 速查：基础语法、类型与模式匹配、列表与常用函数、模块与可变状态、工具链；支持搜索与分类筛选，点击即可复制。
- 按用途点分类：基础语法、类型与匹配、列表与常用函数、模块与可变状态、工具链。
- 点「命令」列复制到源文件或 utop。
- 递归函数必须写 let rec，否则编译器会报未绑定。
- 整数与浮点运算符不同（+ 与 +.），混用会报类型错误。
常见问题
- 为什么 + 和 +. 要分开？
- OCaml 不做隐式类型转换，整数用 + - *，浮点用 +. -. *.，类型必须一致。
- opam 和 dune 各做什么？
- opam 管理编译器与第三方包；dune 是项目构建系统，负责编译、运行与依赖声明。
- 需要联网吗？
- 不需要，本地可用。