Can your friend prove the Haskell and ML compilers he is using are 100% bug free as well? And the hardware it is running on? (both the compiler and the execution environment if they differ)
[1] http://www.ertos.nicta.com.au/publications/papers/Klein_08.p...