"lots of explicit coercions" - even without recourse to generics, the overhead tends to be small. Really, try it. There's no need to write intepreters, let alone architecture simulators.
I tend to think the attraction of dynamic typing is the ability to run incomplete or ill-typed programs. If we have type inference, there is no real advantage in terms of conciseness.
I tend to think the attraction of dynamic typing is the ability to run incomplete or ill-typed programs. If we have type inference, there is no real advantage in terms of conciseness.