Результаты поиска по запросу "monads"
, Вы не доказали это последнее утверждение. Более того - «если вы проверяете законы монад, вы легко можете сказать, что они тоже монады» - это никоим образом не является «доказательством». ОП, кажется, спрашивает конкретно о том, образуют ли обещания монаду, но вы не приложили усилий, чтобы доказать или даже неофициально продемонстрировать эту теорему.
чал функциональное программирование и встречал монады, функторы и аппликативы. Насколько я понимаю, применяются следующие определения: а) (A => B) => C [A] => C [B] | Функтор б) (A => C [B]) => C [A] => C [B] | монада в) (C [A => B]) => C [A] ...
В отличие от функтора, монада может менять форму?
Мне всегда нравилось следующее интуитивное объяснение силы монады относительно функтора: монада может менять форму; функтор не может. Например:length $ fmap f [1,2,3] всегда равняется3. С монадой, однако,length $ [1,2,3] >>= g часто не будет ...
Почему побочные эффекты смоделированы как монады в Haskell?
Кто-нибудь может дать несколько советов о том, почему нечистые вычисления в Хаскеле моделируются как монады?Я имею в виду, что монада - это просто интерфейс ...
Предложение Haskell do с несколькими типами монад
Я использую графическую библиотеку в Haskell под названиемТрехгрошовая-GUI, В этой библиотеке основная функция возвращает
Каковы преимущества аппликативного разбора по сравнению с монадическим?
Кажется, существует консенсус, что вы должны использовать Parsec как аппликатив, а не как монаду. Каковы преимущества аппликативного разбора по сравнению с монадическим? стильпредставлениеабстракцияМонадический разбор?
Почему Clojure 'let` и `for` обе монады?
В этом обсуждении Брайан Марик делает вывод, что
Монада мощнее, чем Applicative?
я смотрел напрошедшее обсуждение но не мог понять, почему любой из ответов на самом деле правильный.Прикладное
Haskell - «Последнее утверждение в конструкции do должно быть выражением»
Как сказано в заголовке:The last statement in a 'do' construct must be an expression значит? Я закончил свойdo блок сputStrLn как это показано в нескольких примерах, которые я видел, и я получаю ошибку. Код: main = do args <- getArgs file ...
Существует ли стандартная опция рабочего процесса в F #?
Есть ли опция (возможно) wokflow (монада) в стандартной библиотеке F #? Я нашел дюжину ручных реализаций (1 [http://stevehorsfield.wordpress.com/2009/09/06/f-delayed-compositional-maybe-monad-workflow-full-source/] , ...
... который по сути такой же как:
вопрос возникает из этого ответа впример функтора, который является Аппликативным, но не Монадой [https://stackoverflow.com/a/49703783/412549]: Утверждается, что data PoE a = Empty | Pair a a deriving (Functor,Eq)не может иметь экземпляр монады, ...