[Haskell-cafe] Knight Capital debacle and software correctness

[Florian Weimer]

* Vasili I. Galchin:

>     I am going to make an assumption .... except for Jane Street
> Capital all/most "Wall Street" software is written in an imperative
> language.

I expect that most of it is written in Excel, which doesn't really
qualify as an imperative language.  High-frequency trading is likely
different, but that covers just a fraction of the software being used
for trading.