Pitching D to academia

[Thiez via Digitalmars-d]

On Thursday, 10 March 2016 at 23:47:55 UTC, Andrew wrote:
> 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.

Does D have static checking of contracts, either built-in or 
through a tool? Because that is a really nice feature for 
design-by-contract situations.