Haskell支持可执行注释特性，OCaml生态是否有同类功能？

算力阿峰

2026-8-17

OCaml生态中的可执行注释特性

OCaml生态里确实有类似Haskell的可执行注释相关工具，下面是几个常用的选项：

ocaml-mdx：这是社区里最接近你需求的工具，它可以识别代码文件或Markdown文档中的OCaml代码块，在文件的上下文环境中执行代码，并验证输出是否符合预期，也能直接生成包含实际执行结果的内容。你可以像这样在注释里写可执行代码：
```
(* $ ocaml
   # #require "compil";;
   # Compil__Compil_intf.x;;
   - : int option = Some 256
   *)
```
运行mdx test就能自动执行这段代码并检查输出是否匹配，也可以用mdx run直接执行并更新注释里的输出，省去手动进入utop操作的麻烦。
ppx_inline_test：这个预处理器允许你在代码中嵌入测试逻辑，虽然不是纯注释形式，但能在代码上下文里直接执行验证。比如：
```
let my_val = Compil__Compil_intf.x
[%test_eq: int option] my_val (Some 256)
```
运行dune runtest就能执行这些内嵌的测试，确保代码逻辑符合预期，适合在源码里写示例验证。
简化utop操作的脚本方式：如果不想用专门工具，也可以把需要执行的命令写成脚本文件，比如创建test_script.ml：
```
#require "compil";;
Compil__Compil_intf.x;;
```
然后用utop -s test_script.ml直接运行，跳过手动进入目录、启动utop和加载依赖的步骤，快速得到结果。