为它在编译阶段前就进行了。类似地，静态检查、类型安全正规表式或代码生成可能透过巨集被加入到OCaml的语法和语义里，如同微线程（亦称为协程或）、单子或透明的XML操作。
作为模板引擎的预处理器.任何「一般目的预处理器」，例如M4，都可以当成模版引擎（template engine）使用。