The idea that some developers think their code is so smart/complicated it cannot possibly expressed in a statically analyzable manner is pure hubris to me, JS/P

The idea that some developers think their code is so smart/complicated it cannot possibly expressed in a statically analyzable manner is pure hubris to me, JS/Python and friends sure have encouraged some bad patterns over the years. Sure it has a learning curve but I see highly flexible strictly typed as the medium-term future of pretty much all development as they provide invaluable safety nets for development, risk mitigation and productivity. Large code bases without strong rigor,testing and/or static type analysis (eg. mypy/ts/flow) have no future and will not scale.