Earlier quoted context omitted.
>>I feel liberated by not having a strong type system restricting my options. >If you feel restricted by a type system, you're using it wrong. A type system is a useful tool, not an impediment. It only prevents you from doing wrong things. I'm always baffled about how people say that using a dynamic language feels "liberating". I feel completely the opposite; I have to be extremely more careful with a dynamic languag…
This is why unit testing took over the dynamic language world more than a decade ago. And at least in Perl, which have a bit of extensible syntax, you can declare parameter types of methods/functions. That is especially a good idea for external APIs to libraries, etc. All tools have quirks, which forces a bit of change in how you use them. You have to look at the total sum of these effects. How much extra days will i…
So you have to spend a ton of time writing redundant and in-exhaustive tests to work around the lack of a type system, but the complaint leveled against having a type system is that "satisfying the type checker takes too long"?