3
ответа
Устройство записи монад m и Любой e, категорически двойной?
Я заметил, что существует двойное отношение между Устройством записи m и Любым e монады. Если m является моноидом, то единица:: ()-> m соединение:: (m, m)-> m может использоваться для формирования монады: возврат является составом:-> (...
вопрос задан: 22 April 2010 10:44
2
ответа
Примеры моноидов/полугрупп в программировании
Это известно, что моноиды потрясающе повсеместны в программировании. Они так повсеместны и так же полезны, что я, как 'проект хобби', работаю над системой, которая является полностью на основе их...
вопрос задан: 20 March 2010 21:43
1
ответ
Монада - это просто моноид в категории эндофункторов, в чем проблема?
Кто первым сказал следующее? Монада - это просто моноид в категории эндофункторов, в чем проблема? И на менее важной ноте, это правда, и если да, то могли бы вы дать объяснение (...
вопрос задан: 9 November 2018 15:22
0
ответов
Использование монад, моноидов, функторов и стрелок на практике
Недавно я наткнулся на этот пост о полезных ресурсах по различным аспектам функционального программирования, таким как монады, моноиды и т.д. Но вот вопрос - какую пользу может извлечь обычный программист...
вопрос задан: 23 May 2017 12:16
0
ответов
Моноидальный разбор — что это?
Я только что наткнулся на термин «моноидальный анализ» на слайде «Введение в моноиды» Эдварда Кметта. Слайд использует haskell повсюду. Теперь при поиске термина я не нашел ничего, кроме...
вопрос задан: 23 May 2017 10:29
0
ответов
monoid vs monad in Scala
Недавно я пытался найти хороший источник о разнице между монадами и моноидами.Может ли кто-нибудь дать ссылку на хороший ресурс по этому вопросу или, возможно, взять один Пришло время остановиться на...
вопрос задан: 13 April 2017 13:52
0
ответов
Почему GHC не может создавать экземпляры для Monoid?
GHC имеет несколько языковых флагов, таких как DeriveFunctor, DeriveDataTypeable и т. д., которые позволяют компилятору генерировать производные экземпляры для классов типов, отличных от разрешенных в Haskell 98. Это ...
вопрос задан: 22 June 2012 23:15
0
ответов
Haskell :дублированные функции (+ )и (++ ), mappend
(+ )и (++ )— это просто специализации mappend; я прав? Зачем они нужны? Это бесполезное дублирование, поскольку в Haskell есть мощные классы типов и вывод типов. Допустим, мы удаляем (+ )...
вопрос задан: 9 June 2012 15:28
0
ответов
Аппликативный пример для кортежа с моноидом и функцией внутри
Я пытался преобразовать пример haskell, с которым я столкнулся ранее, в scalaz. Первоначальный пример был таким: ("Ответ на ", (*)) <*> ("Окончательный вопрос", 6) <*> ("Жизнь, ...
вопрос задан: 7 June 2012 20:42
0
ответов
Как написать моноидный протокол в Clojure?
Следующее не работает по понятным причинам. (defprotocol Monoid (mappend [ab]) (mzero [])) mzero имеет нулевые аргументы, а методы с нулевыми аргументами не разрешены (или не имеют смысла) в ...
вопрос задан: 26 May 2012 05:05
0
ответов
Различие между классами типов MonadPlus, Alternative и Monoid?
Стандартные-классы типов библиотеки Haskell MonadPlus, Alternative и Monoid предоставляют по два метода с практически одинаковой семантикой:Пустое значение:mzero, empty или mempty. Оператор a ->...
вопрос задан: 16 April 2012 02:06
0
ответов
Группировка значений по ключу с любым моноидом
Я хотел бы написать метод mergeKeys, который группирует значения в Iterable[(K, V)] по ключам. Например, я мог бы написать: def mergeKeysList[K, V](iter: Iterable[(K, V)]) = { iter....
вопрос задан: 15 March 2012 03:18
0
ответов
Scala PartialFunction может быть Monoid?
Я думал, что PartialFunction может быть Monoid. Правильно ли мой мыслительный процесс?
Например, import scalaz._
import scala. {PartialFunction => ->} implicit def partialFunctionSemigroup [A, B]: ...
вопрос задан: 30 January 2012 17:18
0
ответов
Напишите максимальный моноид с помощью Maybe в Haskell
Я изучал моноиды Haskell и их использование, что дало мне довольно хорошее понимание основ моноидов. Одна из вещей, представленных в сообщении в блоге, - это моноид Any, и он '...
вопрос задан: 18 March 2011 10:56