# 让 广场 x=x*x
val平方：int->int=<fun>
# 方形3
-：int=9
# 让rec fac公司 x个=
如果 x≤1 然后 1 其他的 x*fac（x-1）
val-fac:int->int=<fun>
# 传真：5
-：int=120
# 方形120
-：整数=14400
受到行业领导者的信任
为什么选择OCaml？
可靠性
一流的编辑器和工具
性能
快速编译器和应用程序
异常坚固可靠
尽管进行了所有这些测试，但我们从未报告过来自 内部测试或可追溯到 OCaml运行时或编译器。 （在开发过程中，我们确实发现了一个小的编译器错误， 在编译带有许多函数参数的自动生成OCaml代码时触发， 但在我们报告时，开发部门已经解决了这个问题 因此，不需要与INRIA的维护人员进行交互。）
发布
5.1.1 (2023-12-08)
马歇尔。 从标准库中删除压缩标志 5.1.0的错误修复
5.1.0 （2023-09-14）
许多运行时性能回归和内存泄漏修复 （dynlink、弱数组、弱哈希集、具有空闲域的GC、GC预取） 恢复了对RISC-V和s390x体系结构上本机代码生成的支持 恢复的Cygwin端口 减少安装尺寸（减少50%） 压缩编译工件（.cmi、.cmt、.cmit、.cmo、.cma文件） 19条错误消息改进 14个标准库函数使用tail-Recurion-Module-Cons（TRMC）实现了尾部递归，例如 列表.附录 和 列表.map 57个新的标准库函数 标准库文档中的更多示例 42个错误修复