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 ...

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

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

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

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