静态类型亦如此。几乎所有这些特性都由语法预处理执行，虽然它的「巨集扩充」编译阶段由LISP的编译器处理这点很值得一提就是。这仍然可以视为预处理的一种形式，因为它在编译阶段前就进行了。类似地，静态检查、类型安全正规表式或代码生成可能透过巨集被加入到OCaml的语法和语义里，如同微线程（亦称为协程或）、单子或透明的XML操作。
作为模板引擎的预处理器.任何「一般目的预处理器」，例如M4，都可以当成模版引擎（template engine）使用。