Resultados da pesquisa a pedido "monads"
otação de desastre para Mônadas
Como estou aprendendo Haskell, estou percebendo quedo notação é apenas açúcar sintático: a = do x <- [3..4] [1..2] return (x, 42)Traduz para a = [3..4] >>= (\x -> [1..2] >>= (\_ -> return (x, 42))) Sei que provavelmente vou usar anotação, mas ...
Devo evitar o uso da Mônada?
Sou bastante novo em Haskell e tenho tido lentamente a ideia de que há algo errado com a existência de falha de Mônada. Mundo Real Haskell adverte contra o seu uso [http://book.realworldhaskell.org/read/monad-transformers.html#x_Et] ("Mais uma ...
Folding, composição de funções, mônadas e preguiça, oh meu Deus?
Estou confuso. Eu posso escrever isso: import Control.Monad main = print $ head $ (foldr (.) id [f, g]) [3] where f = (1:) g = undefinede a saída é1. Isso faz sentido, porque se reduz a: main = print $ head $ ((1:) . undefined . id) [3] main = ...
o contrário de um Functor, uma Mônada pode mudar de form
Sempre gostei da seguinte explicação intuitiva do poder de uma mônada em relação a um functor: uma mônada pode mudar de forma; um functor não pod Por exemplo:length $ fmap f [1,2,3] sempre é igual a3. Com uma mônada, no entanto,length $ ...
Como extrair valor da ação monádica
Existe uma função interna com assinatura:: (Monad m) => m a -> a ? O Google diz que não existe essa função. Pode explicar por quê?
Permutações de uma lista - Haskell
Eu quero fazer todas as combinações possíveis de subgrupos com 2 listas. Aqui está uma função que faz exatamente isso: getCombinations :: [a] -> [[a]] getCombinations na = do a <- na b <- na [[a,b]] Se você passar "abc" para esta função, ela ...
Haskell: não é possível usar o “map putStrLn”?
Tenho uma lista de strings e tentei o seguinte: ls = [ "banana", "mango", "orange" ] main = do map PutStrLn list_of_stringsIsso não funcionou e não consigo entender o porqu ghc print-list.hs print-list.hs:3:0: Couldn't match expected type `IO ...
Quais são todas as convenções de nomenclatura da mônada?
arece que Haskell estabeleceu várias convenções de nomes em torno das mônada Exemplos appendingT até o final para obter o nome do transformador de mônada (por exemplo,Reader ->ReaderT)usingrunXXX para executar um cálculo de mônada ...
Definindo novas palavras-chave na expressão de cálculo do F #
O F # 3.0 beta contém uminquerir { [http://msdn.microsoft.com/en-us/library/hh225374%28v=vs.110%29.aspx]xpressão de computação com toneladas de novas palavras-chav Como posso definir minhas próprias palavras-chave em um construtor de computação?
Implementing Haskell's Talvez Monad em c ++ 11
Estou tentando implementar a mônada Maybe do Haskell usando as funções lambda no C ++ 11 e modelos. Aqui está o que eu tenho até agora #include<functional> #include<iostream> using namespace std; template<typename T1> struct Maybe { T1 data; ...