> Type inference goes hand-in-hand with static typing. That would imply there's no type inference possible with dynamic languages - either at "compile" time or

> Type inference goes hand-in-hand with static typing. That would imply there's no type inference possible with dynamic languages - either at "compile" time or run time. (Wouldn't it also imply that static typing and strong typing are synonymous?)