I do think it would be bad if that happened, and there's been talk about it with a proposal to separate JS "syntax" and a JS "core", almost treating JS like ass

I do think it would be bad if that happened, and there's been talk about it with a proposal to separate JS "syntax" and a JS "core", almost treating JS like assembly. We have WebAssembly for that purpose. I just think using extra type checking tools is ideal when you're working on large scale projects using a dynamically typed scripting language. The real tragedy is writing large scale projects in a scripting language, but that's just the world we live in when browsers are dominant.