Результаты поиска по запросу "monads"
ST Monad == Кодовый запах?
Я работаю над реализациейUCT [http://citeseer.ist.psu.edu/viewdoc/summary?doi=10.1.1.102.1296]Алгоритм в Haskell, который требует изрядного объема данных. Не вдаваясь в подробности, это алгоритм моделирования, в котором на каждом «шаге» ...
В чем разница между монадой и замыканием?
Я немного запутался, читая определение между ними. Могут ли они на самом деле пересекаться с точки зрения определения? или я полностью потерялся? Благодарю.
Имеет ли смысл монада IO на языке, подобном C #
Потратив много времени на чтение и размышления, я, наконец, понял, что такое монады, как они работают и для чего они полезны. Моя главная цель состояла в том, чтобы выяснить, могут ли монады быть чем-то, что я мог бы применить к ...
Хаскель Монад связать оператор путаницы
Итак, я не программист на Haskell, но я абсолютно заинтригован многими идеями, стоящими за Haskell, и собираюсь изучить его. Но я застрял на первом месте: я не могу обернуть голову вокруг монад, которые кажутся довольно фундаментальными. Я знаю, ...
Существует ли стандартная опция рабочего процесса в F #?
Есть ли опция (возможно) wokflow (монада) в стандартной библиотеке F #? Я нашел дюжину ручных реализаций (1 [http://stevehorsfield.wordpress.com/2009/09/06/f-delayed-compositional-maybe-monad-workflow-full-source/] , ...
Должен ли я избегать использования Monad fail?
Я довольно новичок в Хаскеле и постепенно начинаю понимать, что с существованием Монады что-то не так. Реальный мир Haskellпредостерегает от его использования [http://book.realworldhaskell.org/read/monad-transformers.html#x_Et](«Еще раз, мы ...
Складывание, составление функций, монады и лень, о боже
Я озадачен. Я могу написать это: import Control.Monad main = print $ head $ (foldr (.) id [f, g]) [3] where f = (1:) g = undefinedи вывод1, Это имеет смысл, поскольку сводится к: main = print $ head $ ((1:) . undefined . id) [3] main = print $ ...
В отличие от функтора, монада может менять форму?
Мне всегда нравилось следующее интуитивное объяснение силы монады относительно функтора: монада может менять форму; функтор не может. Например:length $ fmap f [1,2,3] всегда равняется3. С монадой, однако,length $ [1,2,3] >>= g часто не будет ...
Как извлечь ценность из монадического действия
Есть ли встроенная функция с подписью:: (Monad m) => m a -> a ? Гугл говорит, что такой функции нет. Вы можете объяснить, почему?
Перестановки списка - Haskell
Я хочу сделать все возможные комбинации подгрупп с 2 списками. Вот функция, которая делает именно это: getCombinations :: [a] -> [[a]] getCombinations na = do a <- na b <- na [[a,b]] Если вы передадите «abc» этой функции, она вернет ...