Я всё равно считаю, что ООП не нужно. Пишу на Java и ООП использую раз в год. Для раза в год можно и ручками сымитировать что надо. Тем более, что в Rust и сахар для виртуальных методов есть, это не C, где надо таблицы забивать указателями вручную.

Идеального языка я не знаю. В нём должен быть GC и исключения. При этом он должен быть минималистичен и достаточно прост. В целом что-то вроде Java 1.4, пожалуй, максимально близко к идеальному языку из того, что я видел в этом мире, хотя и не совсем то.