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".<p>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 ) ?