Haskell: не можете использовать "map putStrLn"?

у меня есть список строк, и попытался это: ls = [ "banana", "mango", "orange" ] main = do map PutStrLn list_of_strings это не сработало, и я не могу понять, почему. ghc print-list.hs print-list.hs:3:0: Couldn't match expected type `IO ...

Кто-нибудь когда-нибудь сталкивался с трансформатором монады в дикой природе?

в моей области бизнеса-бэк-офис для финансового учреждения - очень часто программный компонент несет глобальную конфигурацию, регистрирует ее прогресс, имеет какое-то короткое замыкание обработки ошибок / вычислений... Вещи, которые могут быть хорошо ...

повторяемое скала#карты и типа Iterable#помощью flatMap

в чем разница между map и flatMap функции Iterable? ...

Каковы преимущества аппликативного разбора над монадическим разбором?

похоже, существует консенсус, что вы должны использовать Parsec в качестве аппликатора, а не монады. Каковы преимущества аппликативного разбора над монадическим разбором? стиль производительность абстрагирование монадический разбор? ...

Как предотвратить блокировка рекламы блокировать рекламы в приложении

один из моих пользователей выпустил кошку из сумки и сказал мне, что они используют одно из моих бесплатных приложений, которое монетизируется рекламой, но они блокируют рекламу с помощью блокатора рекламы. Они сказали мне это насмешливо, как будто я ...

Как работает святая монада?

Я понимаю, что святая монада-это что-то вроде младшего брата Ио, который в свою очередь является государственной монадой с добавлением RealWorld магия. Я могу представить себе состояния, и я могу представить, что реальный мир каким-то образом помещае ...

Монады и Стрелки

Я широко знаком с понятиями монады и стрелки как используется в функциональном программировании. Я также понимаю, что они могут быть использованы для решения подобных проблем. тем не менее, я все еще немного смущен тем, как выбрать, какой из них исп ...

Монады с Java 8

в интересах помочь понять, что такое монада, может ли кто-нибудь привести пример с использованием java ? Возможно ли это ? лямбда-выражения возможны с помощью java, если вы загрузите предрелизную лямбда-совместимую JDK8 отсюда http://jdk8.java.net/l ...

Конкретный пример, показывающий, что монады не закрыты по составу (с доказательством)?

ответ дает [String -> a] в качестве примера не-монады. Поиграв с ним немного, я верю в это интуитивно, но этот ответ просто говорит: "соединение не может быть реализовано", не давая никакого оправдания. Я бы хотел кое-что более формальный. Коне ...

В чем смысл опции класса[T]?

я не в состоянии понять точку Option[T] класс в Scala. Я имею в виду, я не в состоянии видеть какие-либо авансы None over null. например, рассмотрим код: object Main{ class Person(name: String, var age: int){ def display = println(name+" "+ag ...

Что такое индексированная монада?

Что это проиндексированных монады а мотивация для этой монады? Я читал, что это помогает отслеживать побочные эффекты. Но подпись типа и документация никуда меня не ведут. Что было бы примером того, как это может помочь отслеживать побочные эффекты ...

Что такое свободные монады?

Я видел термин Свободные Монады поп теперьизатем в течение некоторого времени, но все просто используют/обсуждают их, не давая объяснения того, что они есть. Итак: что такое свободные монады? (Я бы сказал, что знаком с монадами и основами Хаскелла, н ...

Понимание (>>=). (> > =)

Я пытаюсь понять (>>=).(>>=), что GHCi говорит мне: (>>=) :: Monad m => m a -> (a -> m b) -> m b (>>=).(>>=) :: Monad m => m a -> (m b -> (a -> m b) -> b1) -> (a -> m b) -> b1 ...

Монады как моноиды на практике

Я пытаюсь понять отношения между монадами и моноидами более практическими способами. Я заранее извиняюсь, если этот вопрос не имеет смысла, я все еще борюсь. Предположим, например, что у меня есть: trait Monoid[T] { def zero: T def combine: (T ...

Ладно, это что, монадическое?

Я ставлю уровень безопасности перед ориентированным на документ, и мне нужен был достаточно абстрактный способ для приложения, чтобы определить, какие новые документы и какие обновления существующих документов являются законными для конкретного польз ...

Можно ли сделать свободную монаду в Клоджуре?

Есть некоторые выдающиеся работы с монадами в Clojure от Конрада Хинсена, Джим Дьюи и Леонардо Борхес. Мой вопрос - Можно ли сделать свободную монаду в Clojure? Это пример в Haskell из статьи о Scala: data Free f r = Free (f (Free f r)) | Pur ...

Haskell: ввод / вывод и возврат из функции

Пожалуйста, потерпите меня, поскольку я очень новичок в функциональном программировании и Хаскелле. Я пытаюсь написать функцию в Haskell, которая берет список целых чисел, печатает начало указанного списка, а затем возвращает конец списка. Функция ...

Существует ли стандартная монада для "противоположности" монады "может быть"?

Монада maybe позволяет связать в цепочку набор операторов, которые все могут потерпеть неудачу (возвращая None), и в конце возвращает Some result, Если каждая подоперация удалась, или None, если что-то не удалось. Вот небольшой пример манекена: typ ...

Реализация "последовательности" на монаде

Работая над другим упражнением для реализации Monad.sequence() из функционального программирования в Scala , мой ответ отличается от официального / заведомо правильного ответа: Деф последовательности[a](ЛМА: список[Ф[А]]): Ф[список[А]] Официал ...

Почему монады не сочиняют в скале

Почему монады не составляют, когда Монада является Аппликативом, а Аппликатив-функтором. Вы видите эту цепочку наследования во многих статьях в интернете (которые я просматривал ). Но когда функторы и аппликаторы составляют, почему монады нарушают эт ...