Early detection of type errors in templates

[Andrei Alexandrescu via Digitalmars-d]

On 9/14/14, 3:12 PM, bearophile wrote:
> 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

That's a solid paper, thanks. -- Andre