Le 30/04/2014 18:55, Andrei Alexandrescu a écrit :
Walter and I also discussed "static unittest" a while ago - yes, another
use of static :o).
A static unittest would be evaluated only during compilation, and would
prove things that fall in the realm of static checking but are not
verifiable with traditional typesystem approach.
That won't enable things we can't do today (there's always
assert(__traits(compiles, ...)) but it's instantly recognizable, very
easy to use, and pushes semantic checking to a whole new level.
Thoughts?
Andrei
Can be usefull on our project DQuick. Maybe my friend will be able to
speek more on how much it's interesting.