Sure you're correct that I'm missed some of them but, the list are still missing many static languages that's my overall points: D, Rust, C++, Elm, Swift, Kotl

Sure you're correct that I'm missed some of them but, the list are still missing many static languages that's my overall points: D, Rust, C++, Elm, Swift, Kotlin, Scala, Eiffel, Crystal, Modula-3, Sather, VHDL, etc. Also my main point of contention is that only small percentage of proper static languages (about 15%) are on the list if we include Ada, Futhark, Typescript and Verilog. Just don't lose the forest for the trees.