Результаты поиска по запросу "monads"
При каких обстоятельствах монадические вычисления являются хвостово-рекурсивными?
В Haskell Wiki'sРекурсия в монаде [http://www.haskell.org/haskellwiki/Recursion_in_a_monad]есть пример, который, как утверждается,хвостовая рекурсия [http://www.haskell.org/haskellwiki/Tail_recursion]: f 0 acc = return (reverse acc) f n acc = do ...
эквивалентность между аппликативным функтором и монадой
Люди говорят, что монады являются продолжением аппликативных функторов, но я этого не вижу. Давайте рассмотрим пример аппликативного функтора:(<*>) :: f(a->b) -> f a -> f b [(+3)] <*> [2,3,4]Теперь я также ожидаю, что могу сделать то же самое, ...
Как реализовать индексированную монаду продолжения в стиле index-core
Недавно я смотрел (и пытался понять) индексированные монады. Я думаю, что у меня есть голова вокруг одного стиля индексированной монады, как описано здесь: Соседство бесконечности: за пределами ...
Почему нет << в стандартной библиотеке Haskell?
Monad класс определяет>> метод, который выполняет последовательность двух монадических действий: >> :: Monad m => m a -> m b -> m bОператор связывания>>= имеет эквивалент с перевернутым аргументом,=<<; как и операторы композиции монадических ...
Как Scala Futures соединяются вместе с flatMap?
Я работаю над использованием Futures в Scala впервые и прорабатываю пример использования комбинатора flatMap; Я следил за этим ...
Почему функция последовательности Haskell не может быть ленивой или почему рекурсивные монадические функции не могут быть ленивыми
С вопросомРаспечатка всего содержимого каталога в порядке первого порядка приводит к низкой эффективности [https://stackoverflow.com/questions/14474545/]Я узнал, что низкая эффективность обусловлена странным поведением рекурсивных функций ...
Scala Объект Option внутри другого объекта Option
У меня есть модель, которая имеет несколько полей Option, которые содержат другие поля Option. Например: case class First(second: Option[Second], name: Option[String]) case class Second(third: Option[Third], title: Option[String]) case ...
Что особенного в ключевом слове «возврат»
Когда мне показалось, что я понимаю, для чего нужен возврат в Haskell, я попытался поиграть с разными альтернативами, и кажется, что возврат можно не только использовать в любом месте цепочки монад, но и полностью исключить. *Main> Just 9 >>= \y ...
Как сделать так, чтобы блок do возвращался раньше?
Я пытаюсь наскрести веб-страницу с помощью Haskell и скомпилировать результаты в объект. Если по какой-либо причине я не могу получить все элементы со страниц, я хочу прекратить попытки обработать страницу и вернуться ...
Должен ли mplus всегда быть ассоциативным? Хаскель вики против Олега Киселева
Haskell wikibook [https://en.wikibooks.org/wiki/Haskell/MonadPlus#The_MonadPlus_laws]утверждает, что Экземпляры MonadPlus обязаны выполнять несколько правил, так же как экземпляры Monad обязаны выполнять три закона монады. ... Наиболее важным ...