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.