Sure they do. At standard chartered they developed a complete Haskell-based system for traders to build analyses and trading algorithm.