Resultados da pesquisa a pedido "haskell"
Terminologia correta para continuações
Eu ando bisbilhotandocontinuações recentemente, e fiquei confuso sobre a terminologia correta.Aqui [http://www.haskellforall.com/2012/12/the-continuation-monad.html]Gabriel Gonzalez diz: Uma continuação Haskell tem o seguinte tipo: newtype Cont ...
"Estritamente positivo" na Agda
Estou tentando codificar alguma semântica denotacional no Agda com base em um programa que escrevi em Haskell. data Value = FunVal (Value -> Value) | PriVal Int | ConVal Id [Value] | Error StringNa Agda, a tradução direta seria; data Value : ...
O que o fixIO faz?
oDocumentos do System.IO [https://hackage.haskell.org/package/base-4.5.0.0/docs/System-IO.html]contém uma função misteriosa e não documentadafixIO. Sua fonte [https://hackage.haskell.org/package/base-4.5.0.0/docs/src/System-IO.html#fixIO] apenas ...
Por que não pode haver uma instância do MonadFix para a mônada de continuação?
Como podemos provar quea mônada de continuação [http://hackage.haskell.org/package/mtl-2.2.1/docs/Control-Monad-Cont.html]não tem instância válida deMonadFix [http://hackage.haskell.org/package/base-4.7.0.1/docs/Control-Monad-Fix.html#t:MonadFix] ?
Como derivar FRP de gráficos acíclicos direcionados?
Atualmente, estou pesquisando para o meu próximo projeto. Isso está em uma fase de pré-planejamento, portanto, esta questão é apenas para obter uma visão geral da tecnologia existente. ConfiguraçãoEu tenho um gráfico acíclico direcionado (DAG) ...
Existe uma instância de mônad para Data.Map / Data.IntMap?
Eu tenho um algoritmo que opera em um IntMap que eu acho que seria melhor expressar imperativamente. Ou seja, eu gostaria de dizer coisas como: Procure o valor X no mapa.Se corresponder a um critério, remova esse valor do mapa.Faça um loop até ...
Como fazer o ReaderT funcionar com outro transformador de mônada?
Eu gostaria de incorporarReaderT em outro transformador de mônada. Como eu faço isso? O exemplo abaixo usaScotty [http://hackage.haskell.org/package/scotty-0.9.0/docs/Web-Scotty-Trans.html]mas acho que seria o mesmo com qualquer outra ...
Por que você pode reverter a lista com foldl, mas não com foldr em Haskell
Por que você pode reverter uma lista com o foldl? reverse' :: [a] -> [a] reverse' xs = foldl (\acc x-> x : acc) [] xsMas este me dá um erro de compilação. reverse' :: [a] -> [a] reverse' xs = foldr (\acc x-> x : acc) [] xsErro Couldn't match ...
Várias dobras em uma passagem usando a função tupla genérica
Como escrever uma função que utiliza uma tupla de funções do tipoai -> b -> ai e retorna uma função que utiliza uma tupla de elementos do tipoai, um elemento do tipobe combina cada um dos elementos em uma nova tupla deai: Essa é a assinatura ...
Haskell: padrões não exaustivos
Amanhã estou treinando para um teste para concluir minha introdução à programação funcional, mas há uma coisa que não entendo. Sempre que eu tenho um programa como: test [] = [] test (x:xs) = test (xs)O que ele faz é tirar o primeiro elemento ...