At Bloomberg we use OCaml and Haskell for certain things (at least on my team). There are lots of people who are into functional programming and experiment with new tools/languages/etc for a variety of tasks.
Your website mentions low-latency-execution; how well have you found Haskell can cope with this? Have you run into problems with GC pauses etc? From my experience, major GC collection can be quite large and can't really be avoided...
Haskell can cope well enough. We don't focus on ultra-high frequency trading so much, though we'll take any latency advantages we can get. We focus more on high-level trading strategies. GC pauses are not really an issue. Our system is tuned to avoid doing GC at inopportune times.
I'm curious if you benchmarked Haskell implementations against any C or C++ implementations (especially for market connectivity). Any hint about magnitude of difference?
Did you evaluate OCaml vs Haskell? I'm curious to know what criteria would lead trading firms to consider non-traditional languages yet choose different functional languages?
I'm pretty sure that Credit Suisse is using F# (a derivative of OCaml) extensively.
Also, I've seen quite a few posts on Don Syme's blog about other F# job openings in the financial industry.
There are a number of banks mentioned such as Bank of America, Barclays Capital and Cedit Suisse. A company called Allston Trading is apparently using Haskell to do some HFT too.