Mario Schmidt: > One of the features that I found most promising in D is DbC. > However, I was very disappointed when I realized that the > current implementation is not much more than an assert that is > evaluated during runtime. Recently I have written something on a related topic: Bye, bearophile