1) JS беден структурами данных. Нет, ассоциативный массив и массив обычный - это не достаточно для написания чего-о производительного. Нужны множества, деревья разных видов, оптимизированые стек/дек как минимум.
2) нужна статическая типизация - к примеру так, как сделанов ActionScript. Её отсутствие порождает слишком много ошибок.
3) Нужны норальные модули и области видимости. Да, я знаю, что это дело можно сэмулировать - только читать потом неудобно - на ч то ни глянь, всё функция/замыкание. То есть синтаксис никак не помогает чтению кода.
4) Нужны способы указать при необходимости обязательность параметров вызова функции - нынешняя гибкость в 1% случаев даёт удобство, в 99% - проблемы. Вероятно, должнабыть возможность параметры делать именованными. Нет, объекты не годятся - там не получится указать некоторые элементы как обязательные и типизацию тоже вряд ли выйдет сделать.
5) Нужны нормальные области видимости - а не так, как сейчас, когда переменная после объявления живёт до конца функции независимо от того, что объявлена во вложенном блоке.
6) Нужно починить наследственные болезни JS - к примеру, автовставку точек с запятой и конкатенацию через "+".

Только это уже не JS будет, а что-то другое.

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