[batterseapower]

Several investment banks are using these languages in production (BarCap (F#) and Standard Chartered (Haskell) are the names that come immediately to mind).

And of course Minsky's employer, Jane Street Capital, writes everything in OCaml.

There are plenty of commercial users outside the financial sector too but those users tend to be smaller companies.

[fhars]

Like that small software vendor from seattle http://research.microsoft.com/en-us/um/redmond/projects/z3/m... http://research.microsoft.com/en-us/projects/slam/default.as...

[clavalle]

Whenever I see OCaml brought up, it is nearly always by Minsky. Is it that very few people use it in general? That it is particularly well suited to the problems a private hedge fund faces (oxymoron I know, but I don't know how else to describe Jane Street)? Or that Minsky just happens to be vocal in the internet circles I tend to gravitate toward?

[eru]

Jane Street is a `prop shop' in the lingo of the industry.

You are right, OCaml doesn't see too much use outside of Jane Street, Citrix and a few others. I think the academics mostly left it in favour of Haskell. Also the owner of the OCaml project didn't embrace community development early on. It's more like a cathedral than a bazaar. They are signs showing to change, but it's probably already too late for mainstream popularity.