I read some article that some HFT systems are implemented in Haskell or similar funtional languages (bacuse it's easier to verify that they are correct), other isimplemented in SmallTalk, Clojure, Scala and every other possible language. But they are mostly using these relatilelly obscure languages because experts in these are really productive and programs are rather compact and it's possible to reason about them fairly easily.