Very good, although I thought the dynamic typing one was a bit snarky. I'll happily give up dynamically typed languages like clojure when structural typing can give me the same flexibility.
I say this as a person learning idris and Haskell and loving it btw, before anyone prematurely tries to convert me to static typing.
I say this as a person learning idris and Haskell and loving it btw, before anyone prematurely tries to convert me to static typing.