[cmrdporcupine]

I agree, and OCaml (and the less popular but delightful StandardML) are lovely. But the problem there is the ecosystem just isn't there.

F# or Scala seem like reasonable choices.