> many problems can be solved without having to invent new language features You mean something like a type checker?
> many problems can be solved without having to invent new language features You mean something like a type checker?