3 ms·

Any time you are dealing with a system with that many users, you are going to introduce a lot of chaos (in its mathematical sense). Chaos is nearly impossible t

Any time you are dealing with a system with that many users, you are going to introduce a lot of chaos (in its mathematical sense). Chaos is nearly impossible to test for because there are just too many permutations. You are (probably) right that any particular piece of a trading system would be easier to build and test than the examples you gave, but in aggregate, I think it would be much more difficult.

spitfire 16y ago
No it isn't. It's a matter of maturity and mindset. The avionics industry has it - they use Ada and formal methods, most of the rest of the software development world doesn't. and they pay the price. Honestly I questioned the competence of the LSE when they outsourced their development for the first windows based trading system to a consulting shop. Simply put, they outsourced a core, critical part of the UK's financial infrastructure to boobs. However, I do see some hope in haskell and ocaml entering the financial market.