История изменений
Исправление www_linux_org_ru, (текущая версия) :
А по-твоему класс - алгебраическая структура?
(обобщенный) класс в правильно сделанном языке программирования должен быть весьма похожим на алгераическую структуру, и правильно использованные несовершенные современные языки позволяют делать (конкретные) классы, похожие на алгебраические структуры
впрочем, типы *вовсе* не обязаны ограничиваться алгебраическими структурами (вспоминаем введение tapl для определения типа)
но кстати смешивание инкапсуляции и полиморфизма в одном флаконе (классе) по-моему все же неудобно, полиморфизм должен идти отдельно
з.ы. пиши два минуса — они преобразуются в длинное тире
Исходная версия www_linux_org_ru, :
А по-твоему класс - алгебраическая структура?
(обобщенный) класс в правильно сделанном языке программирования должен быть весьма похожим на алгераическую структуру, и правильно использованные несовершенные современные языки позволяют делать (конкретные) классы, похожие на алгебраические структуры
впрочем, типы *вовсе* не обязаны ограничиваться алгебраическими структурами (вспоминаем введение tapl для определения типа)
з.ы. пиши два минуса — они преобразуются в длинное тире