None of those are really unique, per se: Haskell has the first two, and several languages have all or almost all the benefits of the third by way of fully dyna

None of those are really unique, per se: Haskell has the first two, and several languages have all or almost all the benefits of the third by way of fully dynamic typing. The first two are certainly very rare, though, and Clojure certainly has a different approach to the third than I'm used to seeing.