I agree with >>17, language efficiency is irrelevant in most domains. It is typically applications with "large scale operations" that demand tight resource constraints; there's plenty of applications that don't have such constraints.
For the work that I normally do, programmer time is significantly more expensive than computer time. The programmer time cost of iterating and proving logic is normally more important to me.