一本“能运行”的 O(x)Caml 书：零安装、纯客户端的编程教学新范式

背景

在教授函数式编程语言（如 OCaml）时，初学者面临的最大障碍往往不是概念理解的复杂性，而是环境配置的繁琐。尽管 OCaml 生态在过去几年中取得了显著进步——例如 VS Code 的 OCaml Platform 扩展、dune 构建系统和 opam 包管理器之间的无缝协作——但对于完全陌生的新手而言，从“拥有一台笔记本电脑”到“成功运行第一个 OCaml 程序”的路径依然充满非平凡的步骤。

作者指出，安装过程中的失败模式恰恰是初学者最缺乏调试能力的领域。历史上，知名专家如 Anil Madhavapeddy 和 Yaron Minsky 在 2013 年的 CUFP OCaml 教程中，几乎用完了整个时间段来帮助学生安装 OCaml。作者本人也在多年的教学工作中，花费了大量时间协助学生配置 opam，并不得不为 Windows 支持不佳而道歉（尽管 opam 2.2.0 alpha 版本已改善了原生 Windows 支持）。

虽然作者曾尝试通过 Docker 容器包裹 OCaml Jupyter 笔记本，或使用 devcontainers 进行工作坊教学，但这些方案在特定场景下（如教室环境）尚可接受，但在会议 Wi-Fi 环境下下载大型镜像或容器则会严重破坏编程体验。因此，作者希望实现“零步骤从零到 OCaml”的目标：无需安装，无需服务器管理，但能提供无缝的代码修改与执行体验。

基于此需求，作者正在为 NPTEL MOOC 平台构建一门名为“Functional Programming with OCaml”的课程。该课程包含十二个模块的录制讲座，其配套“书籍”并非传统的 PDF 或带有代码列表的静态网站，而是一个完全在浏览器中运行代码的网站。前半部分专注于 OCaml，后半部分则跨越到 OxCaml。

核心内容

核心理念：纯客户端的交互式书籍

这门课程的核心创新在于其“书籍”的形式。它不是一个需要购买或下载的外部教材，网站本身就是教科书。每一节讲座对应网站上的一个页面，视频中的幻灯片也是这些页面的摘录。网站提供了扩展后的散文式讲解、可就地运行的示例代码以及交互式测验。

这种设计解决了传统编程书籍的一个痛点：书籍无法被“拨弄”（poke）。读者通常需要在编辑器中手动输入代码，但这会导致书籍内容与读者的编译器版本、库版本等环境信息不同步。通过将游乐场（playground）内置于页面中，书籍假设读者正在与之互动，从而保证了示例与文本的一致性。

对于 NPTEL 这样的 MOOC 平台，这种纯客户端架构尤为重要。作者从未见过学生，也没有专门的实验室。学生可能使用共享的 Windows 11 笔记本、带外接键盘的平板电脑，甚至是其他不支持 OCaml 的老旧设备。为了确保约 170 名注册学生中没有人因第一小时的安装问题而放弃，作者选择了纯客户端方案：代码在浏览器中运行，字节数据从未离开用户的机器，无需登录，无需安装。

技术架构：两层执行体系

该网站并非简单地将代码嵌入页面，而是构建了一套精密的技术架构，将散文、幻灯片、可运行单元格和完整的 Linux 机器统一在同一个源文件中。

1. 轻量级层级（Light Tier）：交互式单元格

这是读者在阅读文章时直接交互的部分，基于 Arthur Wendling 开发的 x-ocaml WebComponent。

• 技术基础：将 OCaml 5.4 的 toplevel 编译为 JavaScript（使用 js_of_ocaml）。
• 编辑器体验：为了超越简单的文本框，Merlin 在 Web Worker 中运行。这提供了悬停显示推断类型、输入时自动补全、内联错误报告以及按需使用 ocamlformat 格式化代码的功能。
• 持久化：所有编辑内容保存在本地存储（local storage）中，整个函数式编程部分均以此类单元格实现。

2. 重量级层级（Heavy Tier）：嵌入式 Linux 环境

当 toplevel 不足以应对复杂任务（如运行测试套件、测量覆盖率、编译 C 程序或构建操作系统）时，课程的后半部分嵌入了一个完整的 32 位 Alpine Linux 机器。

• 虚拟化技术：使用 v86 x86-to-wasm 模拟器在浏览器标签页内启动 Linux。
• 性能优化：系统从压缩快照恢复而非冷启动，文件系统通过 9p 协议懒加载（仅下载命令实际触及的数据块）。
• 预装环境：内置 OCaml 5.4 字节码、dune 和 gcc。
• 体积控制：交互式 shell 的体积约为 12 MB。
• 承诺：正如课程介绍所述，承诺与轻量级层级一致：计算机上未安装任何内容，服务器上未运行任何内容，整个机器都在页面中运行。

内容生成机制：单一来源

为了保持幻灯片与正文的一致性，作者重建了类似 Jupyter + RISE 扩展的理念，但完全使用 JavaScript 实现。一个 Markdown 源文件同时生成：

1. 讲座网页（包含散文和可运行单元格）。
2. reveal.js 幻灯片演示文稿。
3. 可运行的代码单元格。

由于 NPTEL 视频仅展示幻灯片，幻灯片必须承载完整内容。因为幻灯片与正文源自同一文件，它们不会偏离正文内容。

关键要点

• 消除安装门槛：通过纯客户端技术，实现了“零安装”体验，解决了初学者在配置 OCaml 环境（特别是 Windows 支持）时的痛点。
• 纯客户端架构：无需后端服务器管理，代码在浏览器本地执行，数据不离开用户设备，保障了隐私和可用性。
• 两层执行体系：
  • 轻量级：基于 x-ocaml 和 js_of_ocaml，提供带有 Merlin 智能提示的交互式单元格，适用于日常练习。
  • 重量级：基于 v86 模拟器嵌入完整的 Alpine Linux 环境，支持 dune、C 编译器等复杂构建需求，适用于高级模块。
• 单一来源内容生成：使用 Markdown 源文件同时生成网页、幻灯片和代码单元格，确保教学材料的一致性，避免文档与代码脱节。
• 针对 MOOC 的优化：考虑到 MOOC 学生设备环境多样（Windows、平板、老旧机器）且缺乏线下实验室支持，该方案提供了最广泛的兼容性和最低的参与门槛。
• 技术栈整合：整合了 OCaml 5.4、dune、opam、js_of_ocaml、x-ocaml、v86 和 reveal.js 等现有技术，创新性地将其组合成一个连贯的教学平台。

意义与影响

这篇博文不仅介绍了一个具体的课程项目，更展示了一种编程教育材料的新范式。它证明了现代 Web 技术（WebAssembly、Web Components、Service Workers）已经成熟到足以在浏览器中提供接近原生的开发体验，从而彻底颠覆了传统编程书籍“只读不可写”或“需本地配置”的限制。

对于教育者而言，这种模式极大地降低了分发和维护教学环境的成本，消除了因学生本地环境差异导致的学习障碍。对于语言社区（特别是 OCaml 社区），这是一个成功的案例，展示了如何通过前端工程化手段提升语言的可访问性（Accessibility）。

此外，该作品也是对开源社区的一次呼吁。作者明确表示正在寻求反馈，以完善课程。这种开放式的开发过程，结合 LLM 辅助写作（在严格审查下）和开源工具链的整合，代表了未来技术文档和在线课程可能的发展方向：动态、交互、即时且高度可访问。