> Personally I find type systems a lot more annoying because they lead to more verbose code and more cognitive load. Have you forgotten the cognitive load of "

> Personally I find type systems a lot more annoying because they lead to more verbose code and more cognitive load. Have you forgotten the cognitive load of "what does this return and what can I call or access on it?" > There are studies that show bugs being proportional to the number of lines of code, regardless of language But that value isn't the same across all languages, only the trend.