I would expect that mixing dynamic & static typing still is an area that could lead to some language breakthroughs. Dynamic typing is great for exploratory pro

I would expect that mixing dynamic & static typing still is an area that could lead to some language breakthroughs. Dynamic typing is great for exploratory programming and static typing offers additional correctness guarantees. Some work has been done in Haskell, Clojure and Racket in this direction (allowing static and dynamic types to co-exist) but I think lots more is possible.