I'm a Haskeller, but it's great to see OCaml improving significantly with every release. It's a win for typed functional programming in general.