Java as a language is becoming more and more like OCaml.

Once sealed types are introduced, we'll get closer and closer since you already have records and pattern matching.

Obviously, it'll never be the same. Java will always have it's ways of doing things, the community, etc.

I don't know who said it, but it was probably here in HN, where "if you squint very hard, you'll see what Brian et al are trying to accomplish". This was regarding the MLfication of Java.

I know it's not OCaml, but you should really give Scala a try. Martin Odersky has never been shy about his love for SML and OCaml, and it really shines through in the semantics found in Scala.

There is ocamljava: http://www.ocamljava.org/

But it does not seem to be maintained.