В Haskell продукты поднятого типа означают, что существует семантическая разница между (a,b,c) и (a, (b, c)).
Если бы все совпадения с образцами всех продуктов всегда были неопровержимыми, тогда не было бы никакой разницы, и (a, b, c) могло бы быть синтаксическим сахаром для (a, (b, c)).
Почему Haskell выбрала продукты типа lift?
Одна из причин заключается в том, что реализация seq для неподнятого продукта требует параллельных/чередующихся вычислений, поскольку seq (a, b) True предполагается равным True тогда и только тогда, когда хотя бы одно из a и b не является нижним. Вы можете не найти эту причину ужасно убедительной, в зависимости от того, как вы относитесь к seq, но, конечно, полиморфный seq по определению является частью Haskell...
(a,b) экземпляром Seq (и то же самое для a -> b).
- person Reid Barton; 21.03.2010
Почему Haskell выбрала продукты типа lift?
Вы можете обосновать этот выбор дизайна, не апеллируя к лени или опровержимым шаблонам. Тот же выбор дизайна сделан ML из соображений поддержки полиморфизма. Рассмотреть возможность
fst (x, y) = x
snd (x, y) = y
Теперь, если (a, (b, c)) является синтаксическим сахаром для (a, b, c), довольно сложно понять, как специализировать fst и snd, чтобы использовать этот тип в качестве аргумента. Но
fst :: (a, (b, c)) -> a
snd :: (a, (b, c)) -> (b, c)
вполне разумны. Поскольку полиморфные функции, такие как fst и snd, невероятно полезны, и Haskell, и ML дают программисту возможность отличать (a, (b, c)) и ((a, b), c) от (a, b, c).
(Для людей, которые заботятся о затратах, структура типов также является разумным ориентиром для определения размера типа и количества косвенных обращений (загрузок), необходимых для получения его элементов. Некоторым программистам необходимо или они хотят знать о таких вещах и иметь некоторые небольшая степень контроля над ними.)
(a, (b, c)) и (a, b, c). Когда на это различие обращают внимание, поднятие становится очевидным — поднимаются кортежи, потому что поднимается каждый тип.
- person Norman Ramsey; 24.03.2010
Вы можете создать семантическое различие, если хотите, в связи с классами типов.
(a, b, c) и (a, (b, c)) могут создавать экземпляры классов по-разному. Просто подумайте о
show (1, 2, 3)
а также
show (1, (2, 3))
Я бы посчитал нелогичным, чтобы оба давали один и тот же результат.
(a, (b, (c, ()))), например HList - person yairchu schedule 23.03.2010