Чтобы можно было писать ФП, хотя бы в плане иммутабельных структур данных, вначале надо в расте сделать нормальную поддержку кастомных аллокаторов, а не как сейчас.
А то пока типичный ФП стиль с кучей мелких коллекций и аллокаций выходит дороговатым.
а если бы, допустим, в ООП-языке, в котором есть классы и интерфейсы(протоколы) отменить наследование классов?
Например в селфе и Ио (наиболее чистых ооп языках) наследование - это цепочка прототипов и автоматическое делегирование. Если ты убьешь наследование, то никто не мешает делать такие же цепочки, но с явным прописыванием fn foo() { self.super.foo() } для каждого метода. Принципиально это ничего не меняет