>C#/Javaに対する大きな利点としてはDBCがあると思う。
これはどうだろう？
完全なUnitTestを導入するとしたらDの提供する機能では不十分だね。
どの道外部のTestingFrameworkが必要になりそう。

in/outはあると便利かもしれないけど
>out (result) {assert((result * result) == x);}
>body {return math.sqrt(x);}
なんてコードが常に書けるとは限らないからね。