Early detection of type errors in templates

[Dicebot via Digitalmars-d]

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.