OCaml （ML家族语言）很好很强大

理由如下：

1. 强类型，写着放心

2. 函数式。 且不是pure functional， 不用像 Haskell 那样极端。。

3. Algebric Data Types 的模式匹配 实在太爽了

4. modules 很强大

5. 语法很简洁。

 

=================== 缺点

冷门，库好像很少。

文档更少

中文书籍：目前只有一本中文教材：《真实世界的OCaml》 ( Real World OCaml )