This paper suggests a way to improve the detection of errors inside C++-style templated code without reducing expressivity of the templates (and without annotations or Concepts), I presume the same ideas are usable in D:

"Early Detection of Type Errors in C++ Templates" by Sheng Chen, Martin Erwig:
http://web.engr.oregonstate.edu/~erwig/papers/C++TemplateErrors_PEPM14.pdf

Bye,
bearophile

Reply via email to