On Wednesday, 17 September 2014 at 17:34:29 UTC, Ola Fosheim
Grøstad wrote:
On Wednesday, 17 September 2014 at 16:06:06 UTC, Dicebot wrote:
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?
Try to read it backwards, and only the last page. Much easier!
:-)
It appears to be a type system for reasoning about type safety
in generic code without instantiating templates. I guess the
most promising possibility is to infer type constraints on
parameters directly from the code as well as detecting
conflicts (they apparently have discussed something related to
this in other papers dealing with "choice types"). But it
appears to be a work in progress…
Well just from reading the concept it immediately felt like
something that D can use even better. It should be possible to
infer concepts implicitly from the template constraints and match
those to actual code in template body using proposed calculus.
However I am not sure if I am just seeing what I want to see or
it is really true.
