Most quants use functional programming to some degree when not locked down into C++, be it in a specifically funcational language or not. At least in London F# is commonly used in Credit Suisse, Barclays and UBS that I know of. Heard that Morgan Stanley uses it a bit too but didn't sound very widespread there.