Re: Наследование - это зло
От: VladD2 Российская Империя www.nemerle.org
Дата: 28.02.07 01:12
Оценка: 17 (5) -1
Здравствуйте, <Аноним>, Вы писали:

А>Господа, вот я не пойму, нафик нужно наследование, когда есть интерфейсы и генерические типы?

А>Оно только все запутывает.
А>По-мойму, наследование — это зло...

Ты удивишся, но такие языки есть. Только в них нет интерфейсов и "генерических типов" .

Название тому языку Haskell.

Там есть понятие тип и понятие класс типов. Класс типов это такой хитрый статический интерфейс. В нем можно описать какие методы должен реализовать конкретный типо, чтобы отвечать условиям этого класса типов. Например, класс типов Num опеределят, что входящие в него типы можно складывать, делить, умножать, сранивать и т.п. Причем чтобы кокретный тип соотвествовал классу типов нужно явно описать воплощение класса типов для этого типа. Таким образом удается как бы реализовывать интерфейсы (классы типов в терминалогии Хаскеля) для типов которые объявлены раньше чем эти интерфейсы.

В общем, очень забавная концепция. Жаль только большинство здешних посетителей вообще нихрина в нем не поймет так как он функциональный. Ну, и у него есть еще один недостаток. Он вообще никакого отношения к >Net не имеет, и не может быть полноценно реализован на этой платформе так как имеет радикально оличюащуюся систему типов.
... << RSDN@Home 1.2.0 alpha rev. 637>>
Есть логика намерений и логика обстоятельств, последняя всегда сильнее.
 
Подождите ...
Wait...
Пока на собственное сообщение не было ответов, его можно удалить.