On Sunday, 14 September 2014 at 22:12:23 UTC, 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
I am rather terrible at calculus and math in general, is it
possible to provide a very short example of errors that can be
detected with such system?
