Static typing can often lead to over-engineering. It gets so complicated that you fight the type system at some point. Most Java frameworks are an excellent exa

Static typing can often lead to over-engineering. It gets so complicated that you fight the type system at some point. Most Java frameworks are an excellent example of this problem. I prefer progressive typing like JS with JSDOC and light type checking with TSC.