C++ guys hate static_if?

[H. S. Teoh]

On Thu, Mar 14, 2013 at 08:49:11PM +0100, Timon Gehr wrote:
> On 03/14/2013 06:48 PM, H. S. Teoh wrote:
> >...
> >
> >We could, of course, automatically generate a very large number of
> >template argument combinations and check to see if they're
> >instantiable.  In fact, we could write unittests that loop over every
> >combination of a given list of types and instantiate the template to
> >be tested with them.  This is well within D's metaprogramming
> >capabilities.
> >
> >...
> 
> But way behind state-of-the-art research in program validation.

Yes, which was my point.


T

-- 
MACINTOSH: Most Applications Crash, If Not, The Operating System Hangs