static unittest
Xavier Bigand via Digitalmars-d
digitalmars-d at puremagic.com
Wed Apr 30 19:13:44 PDT 2014
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.
More information about the Digitalmars-d
mailing list