На обсуждение TC39 представлен пропозал про добавление аннотаций типов в JS. Данный пропозал предлагает добавить в стандарт основные уже существующие способы описывать типы. Цель данного пропозала - не добавить типизацию в JS, а только лишь добавить синтаксис для типов, который браузер будет отбрасывать (воспринимать как комментарии к коду).

Зачем это нужно? Ну, на это есть несколько причин:

JS давно требуется типизация, но как её внедрить - непонятно. Стандартизация аннотаций - первый логичный шаг. Браузер при этом будет

В стандарт предлагается ввести самый популярный синтаксис для объявления типов. Это полезно по нескольким причинам.

Во первых, мы на шаг ближе к тому, чтобы не транспайлить простой типизированный код.

Во вторых, стандартизация синтаксиса для типов позволит привести тулинги проверки типов к единому знаменателю. А это значит, что могут появиться новые имплементации проверки типов, между которым будет возможен легкий переход.

В целом, ИМХО, выглядит как отличный первый шаг. Но пока stage 0. А это значит что пропозал пока не обсуждался комитетом и путь до stage 4 будет очень долгим.