Я конечно не совсем показатель, но..
1) мутабельные ссылки по дефолту
2) отсутствие ADT - алгебраических типов данных
3) Плохой inference типов
4) шум в виде сеттеров/геттеров/конструкторов/equals/hashcode. Понятно что это legacy, но зачем мне это?
5) дефолтные параметры в конструкторах
6) аналога метода copy. User(1985, andrei, russia).copy(name = seegey)
7) хорошего паттерн матчинга
8) рекордов/кейс классов
9) нормальных лямбд и наличие ублюдского stream() перед вызовом методов на коллекции.
10) нормальных генерикрв с ко- и контр- вариантностью. А также генерикрв на примитивах
11) аналога do- или for comprehension. В широком контексте - монадического контекста
12) нормальных лямбд чтобы можно было писать простые функции высшего порядка
Это на вскидку, не упоминая всякие opaque types, implicits и прочую нетривиальщину. Список составлен не по приоритету нехватаемого.
Частично согласен с аргументом, что в адской мешанине типа скалы, где все это есть очень сложно разобраться. Так оно и есть и никому не навязываю, вопрос же был про то чего не хватает