> -- Valery Solovey писал(а):
> Так объявление - это ж, вроде, АТД, а реализация его может быть разной.Вы имеете в виду абстрактный тип данных (АТД), операции над которым можно реализовывать отдельно от описания структуры самого типа?
> -- Valery Solovey писал(а):
> Про смысл разделения или совмещения спорить не буду, повторю лишь, что совмещение объявления и реализации - это задумка авторов.
АлгТД описываются одинаково и в Хаскелле, и в Окамле, и в других языках с АлгТД (с учётом мелких синтаксических различий самих языков). Нет разделения на сам АлгТД и его конструкторы, из которых он состоит (а кроме этих конструкторов в нём ничего и нет-то)...