bearophile Wrote: > I don't understand. What do you mean? It's not needed to extend type system. Compiler can check you don't set arguments indiscriminately. I believe some source analyzer already does it.