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
