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…
