JS is rapidly being replaced by TS, and god knows how much work has been poured into the dozen optional static type checkers for Python at this point (even if we ignore how Google is funding Mojo as a statically-typed Python replacement).
Feels very weird to me that inferred static typing was developed in the 1980s but was basically a Haskell thing until a few years ago, when everyone simultaneously decided it was the “correct” thing to do.