OCaml Documentation：按入门、进阶顺序查阅语言、工具与标准库
首页的三段学习路径
入门部分分为两组。Get Started 包括安装 OCaml、语言速览（A Tour of OCaml）、第一个程序以及 opam 切换（switch）的介绍；Language 包括值与函数、基本数据类型与模式匹配、列表，以及循环与递归。
中级部分同样分为两组。Guides 是针对实际问题的指南，列出格式化与换行文本、调试、错误处理和性能分析等主题；Platform 则讲解项目工具，包括初始化项目、管理依赖、安装指定版本的编译器和配置编辑器。
截图中的安装按钮为 OCaml 5.5.1，截至 2026 年 10 月官网为 5.5.2。
基本数据类型章节
“Basic Data Types and Pattern Matching”页面从原子类型讲起，依次介绍整数、浮点数、布尔值和字符，然后是字符串、字节序列、数组与列表、选项与结果，以及元组、函数、unit 和用户自定义的变体类型。页面说明，int 类型依平台而定，在 64 位架构上通常为 63 位，因为其中一位要留给运行时使用。
页面还解释了 OCaml 的静态强类型特性：运行时不做类型检查，值除非被显式转换，否则不会改变类型。页面中以 # 开头、以 ;; 结尾的表达式是交互式顶层（toplevel）的输入，并提到 UTop 等工具。语言章节的目录末尾还列出了 ADVANCED TOPICS（如 Preprocessors and PPXs、Operators、Objects）和 RUNTIME & COMPILER 两组内容。
练习与推荐书籍
练习区列出了面向初学者的题目，例如编写返回列表最后一个元素的函数、反转列表、判断列表是否为回文，以及去掉列表中连续的重复元素，并按入门或中级标注难度。推荐书籍中，《OCaml Programming: Correct + Efficient + Beautiful》和《OCaml From the Very Beginning》标注为免费阅读。前者是康奈尔大学第三学期课程使用的教材，页面称它配有 200 多个视频；后者面向零基础读者，按短章节逐步介绍概念。