理由如下：
1. 强类型，写着放心
2. 函数式。 且不是pure functional， 不用像 Haskell 那样极端。。
3. Algebric Data Types 的模式匹配 实在太爽了
4. modules 很强大
5. 语法很简洁。
=================== 缺点
冷门，库好像很少。
文档更少
中文书籍：目前只有一本中文教材：《真实世界的OCaml》 ( Real World OCaml )
相关文章：
相似解决方案
热门标签
理由如下：
1. 强类型，写着放心
2. 函数式。 且不是pure functional， 不用像 Haskell 那样极端。。
3. Algebric Data Types 的模式匹配 实在太爽了
4. modules 很强大
5. 语法很简洁。
=================== 缺点
冷门，库好像很少。
文档更少
中文书籍：目前只有一本中文教材：《真实世界的OCaml》 ( Real World OCaml )
相关文章：