ふとD言語の仕様を眺めていたら、契約プログラミングがサポートされているらしい（http://www.kmonos.net/alang/wnd/whats.ja.html#dbc）ので、かなり心惹かれた。 あと、コンパイルがとても楽そうなのも素晴らしい。良い意味で節操がなさげなのもまぁ良いの…