(although some respondents felt that precision in > approach and thinking, richness in language and naming choices, plus > compiler efficiency made sensitivity preferable). Talking about compiler efficiency, is there any way to write an extension that would allow python to be optionally strongly typed?