> I don't think they make much sense without the language being statically typed. They absolutely do, in part because you son’t even have a type system you’d n

> I don't think they make much sense without the language being statically typed. They absolutely do, in part because you son’t even have a type system you’d need to undermine in order to achieve mutation. There are “immutability first” dynamically typed langages, and they work rather well (erlang, clojure).