The more I know about about oCaml, the more interesting it appears to me.

The inferred static type system is really interesting. It is clearly ahead of many other languages.The only other language I know that has similar feature is Scala.