理由如下：
1. 强类型，写着放心
2. 函数式。 且不是pure functional， 不用像 Haskell 那样极端。。
3. Algebric Data Types 的模式匹配 实在太爽了
4. modules 很强大
5. 语法很简洁。
=================== 缺点
冷门，库好像很少。
文档更少
中文书籍：目前只有一本中文教材：《真实世界的OCaml》 ( Real World OCaml )
原文：https://www.cnblogs.com/nanlan2017/p/10317684.html