Pitching D to academia

[Andrew via Digitalmars-d]

> Surely a language such as Java is much better for things like 
> design by contract through JML? It may not be built-in such as 
> D's `in` and `out` blocks, but there is tool-support for both 
> runtime and static checking, and JML can also describe things 
> such as class invariants.

One of awful things about programming in many languages is that 
there's a gazillion tools you need to tack-on before you can do 
any engineering.  In C++ that includes Doxygen for documentation, 
C++Unit for unit tests, gprof, gcov, valgrind, and so on.  One of 
the nice things about D is that so much of this is part of the 
language or build into DMD.

So yes, sure, you can add what ever you like the Java and claim 
its just as good (or better). The difference is that in D its all 
right there already.