>Наличие явно заданной информации о типах позволит избежать многих ошибок в процессе разработки, даст возможность задействовать дополнительные техники оптимизации

Ага, и вылезет ещё ворох уязвимостей и векторов фингерпринтинга, связанных с некоррекной обработкой "во имя производительности" умышленно неверно проспецифицированных типов.

Все современные JIT-компилирующие движки JS умеют сами определять типы в рантайме и рекомпилировать код так, чтобы он более оптимально работал при вероятных сочетаниях ипов параметров.

Дача разработчикам явной возможности указать тип без исполнения и сбора статистики как минимум даст возможность сразу фингерпринтить движки по времени (по реакции на некорректный тип), и, возможно, организовывать скрытые каналы. Также могут вылезти уязвимости type confusion, которые сейчас обходятся тем, что сначала код просто интерпретируется. Поэтому самый лучший вариант для разрабов браузеров - просто игнорить инфу о типах. То есть ничего не делать, ибо инфа о типах предлагается в виде комментов.

Адекватные разработчики браузеров просто проигнорируют эту инициативу. Заметьте, в числе авторов инициативы нет ни Google, ни Mozilla, ни Apple.

Что имело бы смысл сделать - так это добавить в браузеры поддержку TypeScript напрямую, без обратной совместимости с JS и с обязательной статической валидацией типов. Это ислючает случай, когда рельный тип не совпадает со специфицированным. Поэтому можно JIT-ить сразу, доверяя инфе о типах. При сохранении совместимости с JS такое провернуть нельзя, код должен работать идентично что при наличии комментариев, что без них.