I’ve never actually worked in a statically typed language before. At this point, it’s become one of those things where I’m afraid that if I do, I will feel the pain @dimitarvp does which will be annoying because I really like Elixir 
I am someone who thinks a lot about types and contracts and I make heavy use of the type-hinting features in Elixir. Would it be nice if my editor could immediately tell me I’m going to have a compile error? Yep! But …well, ok, I don’t actually have a retort to that…
If you want to read some good, level-headed championing of dynamic languages (that doesn’t do so by dumping on statically-typed languages), read Sandi Metz’s Practical Object Oriented Design in Ruby. Ya, it’s an OO book about Ruby, but Sandi Metz is awesome and some of it can apply to functional (in fact a lot of her advice equates to “be more functional”). She deep-dives into duck typing (mentioned earlier by @LostKobrakai) which is really nice. There is also a really good chapter on testing. Otherwise, the chapters on inheritance, mixins, dependency injection, factory pattern, etc… got me thinking about how ridiculous OO can be—but that’s beside the point.
