Heh, that reminds me of Yaron Minsky's talk about Caml, in which he stresses the need for absolute correctness of software when you are a market maker or arbitrageur, at risk of your high-throughput trading engine going off the rails...