The increased availability of libraries for Haskell and Erlang's suitability for distributed applications kinda stole OCamls thunder.
It is quite nice for Unix development, due to some concessions to "impure" practices. I use the Unison file synchronization tool at work, and used to run mldonkey in my wild file-sharing days… That area is mostly dominated by C tools, as scripting languages are either too slow / memory intensive or carry a lot of baggage with their runtimes and libraries. And for a long time, OCaml was one of the few (open source) compilers at all that could produce fast and small (i.e. no full images) code for the free Unix variants.
But yeah, that article would have been better with some simple examples. Hope they're going to share one of these toplevels.
