Результаты поиска по запросу "monads"
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 t' ...
Каковы все соглашения о присвоении имен монаде?
Похоже, что Haskell установил несколько соглашений об именах вокруг монад. Примеры: добавлениеT до конца, чтобы получить название монадного трансформатора (например,Reader ->ReaderT)с помощьюrunXXX выполнить вычисление монады (например,runST, ...
Определение новых ключевых слов в вычислительном выражении F #
Бета-версия F # 3.0 содержитзапрос {} [http://msdn.microsoft.com/en-us/library/hh225374%28v=vs.110%29.aspx] Вычислительное выражение с тоннами новых ключевых слов. Как я могу определить свои собственные ключевые слова в построителе вычислений?
Реализация Haskell's Maybe Monad в c ++ 11
Я пытаюсь реализовать монаду Maybe от Haskell, используя лямбда-функции в C ++ 11 и шаблоны. Вот что у меня пока #include<functional> #include<iostream> using namespace std; template<typename T1> struct Maybe { T1 data; bool valid; }; ...
Эйлер 43 - есть ли монада, чтобы помочь написать этот список понимания?
Вот способ решения проблемы Эйлера 43 (пожалуйста, дайте мне знать, если это не даст правильный ответ). Есть ли монада или какой-то другой синтетический сахар, который может помочь в отслеживанииnotElem условия? toNum xs = foldl (\s d -> s*10+d) ...
На подписи >> = оператор Monad
Это подпись хорошо известного оператора >> = в Haskell >>= :: Monad m => m a -> (a -> m b) -> m bВопрос в том, почему тип функции (a -> m b)вместо (a -> b)Я бы сказал, что последний более практичен, поскольку он позволяет напрямую ...
Почему в Хаскеле нет трансформатора ввода-вывода?
Любая другая монада поставляется с версией трансформатора, и, насколько я знаю, идея трансформатора является общим расширением монад. Следуя тому, как строятся другие трансформаторы,IOT было бы что-то вроде newtype IOT m a = IOT { runIOT :: m ...
Каков пример Монады, которая является Альтернативой, но не МонадПлюс?
Вего ответ [https://stackoverflow.com/a/10168111/237428]на вопрос«Различие между классами типовMonadPlus, Alternative, а такжеMonoid?» [https://stackoverflow.com/q/10167879/237428]Эдвард Кметт говорит, что Более того, даже еслиApplicative был ...
Разница между ленивыми и строгими монадами Хаскелла (или трансформерами)
При просмотре Hackage, большинство монад имеют версию Lazy и Strict. В чем разница? Можете ли вы выделить некоторые примеры для обычных монад (State, Reader, Writer)?
Что такое бесплатные монады?
Я видел терминСвободная Монада выскакиватькаждый [http://www.haskellforall.com/2012/07/purify-code-using-free-monads.html] в настоящее время [http://www.haskell.org/haskellwiki/Free_monad] а ...