C++ソース（型がある）→コンパイル（型情報に基づきエラー）→バイナリ（型はない）→ネイティブ実行

Type Script（型がある）→トランスパイル（型情報に基づきエラー）→JS（型はない）→ブラウザ実行

あんま変わらん。
wasmが出てきてから聞かなくなったけどJSはWebのアセンブラとは言い得て妙だったな。