множественное наследование

наследование ни разу не противоестественно - детализация объекта

в смысле - поведенческая, по Лисков?

Есть пример проекта, в котором интерфейсы, оторванные от типов, В РАЗЫ ускорят написание кода? Или это пустое теоретизирование, не имеющее практического применения?

Хаскель, кстати, идейно хорош!

позволяет наложить на аргумент функции ограничение полиморфизма по более чем одному классу типов, но не содержит extensible records

Есть пример проекта, в котором интерфейсы, оторванные от типов, В РАЗЫ ускорят написание кода?

с членомерками - к членомерам

> позволяет наложить на аргумент функции ограничение полиморфизма по более чем одному классу типов, но не содержит extensible records

Это печально, что нет extensible record.

Это печально, что нет extensible record.

есть O'Haskell (ныне Timber), в котором есть

>что мешает добавить соответствующий конструктор или метод доступа? в QString нет никаких проблем с тем чтобы создать объект из строки типа char* или получить char* или string из нее.

Ничего. Точно так же ничего не мешает заниматься ручным компилированием программ вместо использования компилятора. Весь вопрос в том насколько это рационально.

> есть O'Haskell (ныне Timber), в котором есть

Это который олег написал jff? Пока нет в стандарте - оно не интересно.

Это который олег написал jff?

да

Пока нет в стандарте - оно не интересно.

в стандарте Haskell его, скорее всего, не будет никогда. зачем?