История изменений
Исправление www_linux_org_ru, (текущая версия) :
2. Тип. В данном конкретном случае то же самое что и множество.
а теперь давай взгляним на это с другой стороны — если у нас множества не пересекаются, то их можно удобно сделать на алгебраических типах данных
пусть у нас есть 2 множества:
ДомашнееЖивотное = { СОБАКА, КОШКА, УТКА, КУРИЦА };
ПоводырьДляСлепого = { СОБАКА, ЧЕЛОВЕК };
обращаю внимание, что элемент СОБАКА у них общий
и как это сделать на алгебраических типах данных?
и тут получается, что АлгТД это уже не множества
p.s. чтобы не было вопросов а-ля складываение элементов разных типов в одну коллекцию — можно считать, что оба этих множества это подмножества множества ЖивоеСущество
Исходная версия www_linux_org_ru, :
2. Тип. В данном конкретном случае то же самое что и множество.
а теперь давай взгляним на это с другой стороны — если у нас множества не пересекаются, то их можно удобно сделать на алгебраических типах данных
пусть у нас есть 2 множества:
ДомашнееЖивотное = { СОБАКА, КОШКА, УТКА, КУРИЦА };
ПоводырьДляСлепого = { СОБАКА, ЧЕЛОВЕК };
обращаю внимание, что элемент СОБАКА у них общий
и как это сделать на алгебраических типах данных?
и тут получается, что АлгТД это уже не множества