Re: To interface or not to interface

[Walter Bright]

Jason House wrote:
7. Compiler-assisted verification.

For interfaces, the compile time checking is limited to verifying that functions 
with the right signature are supplied. Templates can go considerably beyond that 
with the constraint checking.