为何OCaml中的assert是关键字而非bool->unit类型的函数？

OCaml把assert设计成关键字而非普通函数，核心原因有两个：

• 编译期可控性：assert的关键特性之一是可以在编译时完全移除（比如用ocamlc -noassert编译）。如果它是普通函数，编译器没法直接抹掉函数调用——毕竟函数可能隐含副作用，但作为关键字，编译器能直接识别并剔除断言代码，在发布版本里彻底去掉断言的性能开销。

• 更精准的错误反馈：当断言失败时，作为关键字的assert能让编译器抛出包含断言表达式本身、源代码位置的详细错误信息。要是它是普通函数，你只能得到函数调用的错误栈，没法直接看到原本的断言条件是什么，调试效率会低很多。

看你贴的代码示例：

# assert (2=2) ;;
- : unit = ()
# assert;;
Line 1, characters 6-8:
Error: Syntax error

第二个报错也很好理解——assert是语法关键字，必须搭配括号里的布尔表达式使用，就像你不能单独写if或者match一样，单独写assert本身就是语法错误，因为它不是一个可以被单独引用的函数值。

内容的提问来源于stack exchange，提问作者zell