> Lots of the recent developments are around composing and controlling effects, in a way that almost requires a more serious type system. Clojure is a counter

> Lots of the recent developments are around composing and controlling effects, in a way that almost requires a more serious type system. Clojure is a counter example for your argument. You very loose dynamic typing, but due to the immutability of the core data structures you achieve side effect free programming by default.