> way-ay-ay more effort for dubious gains How is it way more effort? In any of the nicer languages, there's type inference. Dubious gains? Strong static typin

> way-ay-ay more effort for dubious gains How is it way more effort? In any of the nicer languages, there's type inference. Dubious gains? Strong static typing makes entire classes of runtime bugs impossible (null pointer exceptions, for example).