Early detection of type errors in templates

[via Digitalmars-d]

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…