> Static typing adds boilerplate That’s not necessarily true anymore. Languages like Haskell have both strong static typing and very good type inference. > Ho

> Static typing adds boilerplate That’s not necessarily true anymore. Languages like Haskell have both strong static typing and very good type inference. > However when a piece of code becomes mature, doesn't change often, and starts to be depended on by other people (eg a core library), then I start adding types for additional safety and documentation. That’s a practice in Haskell development as well, but the safety and guarantee of consistency are already present prior to the annotations.