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.