Вопрос: почему в Хаскеле не используются другие понятия из алгебры:

Question

Haskell

Alex Sharov

Вопрос: почему в Хаскеле не используются другие понятия из алгебры:

группы, кольца, поля, ...?

#haskell #programming #russian

0

25.03.2019

3 ответов

11 просмотров

Dmitrii

Если вопрос в том, почему группы, кольца и поля не так популярны, то ответ простой –– пока не так много полезных юзкейсов для них нашли. Semigroup и Monoid применяются и нужны очень часто, остальные более редко. У этих абстракций могут быть интересные применения. Например, если у тебя есть алгебра истории изменений, то Group –– это операция undo. Но это неиследованная область) Еще одна очень прикольная абстракция — полукольца. Есть пейпер, где эта одна абстракция используется для решения совершенно разных задач — от перемножения матриц и регулярных выражений до нахождения кратчайших путей в графах и решения задач динамического программирования: http://stedolan.net/research/semirings.pdf Но вещи в base добавляются не так быстро. Вот контравариантные функторы добавились только в GHC 8.6.3. И обычно вещи не добавляется не из-за того, что они полезные, а из-за того, что кто-то достает комитет библиотечников письмами с просьбами добавить что-то в base. Я бы вот хотел добавить Profunctor в base. Может быть лет через 5 это и случится)

0

25.03.2019

Cheese Syrowiecki

всё используется, просто не всё нужно во стандартной библиотеке

0

25.03.2019

Grigory Pomadchin · Accepted Answer

Grigory Pomadchin

теории категорий термины тут популярны типы алегбры тут есть (например) https://wiki.haskell.org/Numeric_Prelude может у тебя вопрос в чем-то другом?

0

25.03.2019

169 похожих чатов

Вопрос: почему в Хаскеле не используются другие понятия из алгебры:

3 ответов

Похожие вопросы