マイクロソフト「Types as Comments」をJavaScript仕様策定会議のTC39に提案へ

https://www.publickey1.jp/blog/22/javascripttypes_as_commentsjavascripttc39.html
要するに型宣言の構文はコメントとして無視する、という仕様。
javascript側から見た場合、新たなコメント記法に過ぎないので何の影響も与えない。
IDE側から見た場合、この型宣言を解釈して静的な型解析をすることでエラーの早期発見ができる。
……という効果を狙った仕様とのこと。
まだ提案段階。