The Power of Ten – Rules for Developing Safety Critical Code
If we're talking about high reliability code, one thing claimed about Haskell, is "if it compiles, it has no bugs".How close is it to the truth ? And how close are we to having that kind of capability for real-time programming(even assuming we're willing to forsake protability, community, and maximum efficiency to some extent ) ?