[agentgt]

I would say OCaml particularly with a potential killer app of MirageOs.

Stat usage wise it makes Haskell look mainstream... but serious real world code is written in OCaml (I would argue maybe even more serious than Haskell :P ).

The users of OCaml almost always know how to parse really hard things to parse which is a pretty descent filter.

[vegabook]

The missing link in MirageOS is a BEAM-style distributed computing framework. If this were available, I'd be using Ocaml/Mirage almost exclusively. Imagine the beauty of supervisable, millisecond demand-scalable, ultra-lean, Ocaml-safe microkernels all messaging each other atomically and cross-node, without the dev having to build it from scratch.

[JohnnyConatus]

+1 I'm seeing OCaml at a number of HFT FinTech plays.

MirageOS sounds cool. What are people using it for?