[Haskell-cafe] Knight Capital debacle and software correctness

[Vasili I. Galchin]

Hello Haskell Group,

    I work in mainstream software industry.

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

    Assuming this why is Wall Street not awaken to the dangers. As I
write, Knight Capital may not survive the weekend.


Regards,

Vasili