On 3/11/2013 8:43 PM, deadalnix wrote: > Yes, that is the idea. It seems really cool. It's interfaces without the vtable[]. It's still solely based on type signatures. D constraints make pretty much anything that can be computed at compile time a testable gate.