On 3/14/13 11:05 AM, monarch_dodra wrote:
Having to instantiate a template just to check to make sure it is semantically correct is a huge pain.
I'm not sure about that. The way I see it, no code should be not delivered without being unittested. Ubiquitous unittesting is now mainstream. The way I see it, a type system on top of templates would only help people who don't write unittests.
Andrei
