[Haskell-cafe] Knight Capital debacle and software correctness

Florian Weimer fw at deneb.enyo.de
Sat Aug 4 22:33:30 CEST 2012

* 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.

More information about the Haskell-Cafe mailing list