This author shows a bit of exasperation caused by the current crop of programming languages. No popular language around today seems fit for high integrity systems. I think with some changes, improvements and restrictions D may become fit for this small but important niche:
http://blog.kickin-the-darkness.com/2010/12/defensive-programming-fortran-ada-c.html Bye, bearophile