Good answer. Of course, supplementing static typing after the fact only goes to show that it should have been built into the language to begin with.