Resultados da pesquisa a pedido "haskell"
Como retornar um valor puro de um método impuro
Eu sei que deve parecer trivial, mas eu queria saber como você pode desembrulhar um valor de um functor e devolvê-lo como valor puro? Eu tentei: f::IO a->a f x=(x>>=) f= >>=O que devo colocar no lado direito? Não posso usarreturn uma vez que o ...
Sinalizadores em arquivos cabal
Estou seguindo o guia do usuário para desenvolvimento de pacotes: https://www.haskell.org/cabal/users-guide/developing-packages.html#quickstart [https://www.haskell.org/cabal/users-guide/developing-packages.html#quickstart] Fiquei preso noFlags ...
Como derivar instâncias do Data.Messagepack 1.0.0
A versão anterior doData.Messagepack, 0.7.2.5 [https://hackage.haskell.org/package/msgpack-0.7.2.5]suportaderivar instâncias via Template Haskell [https://hackage.haskell.org/package/msgpack-0.7.2.5/docs/Data-MessagePack-Derive.html] . A versão ...
É possível usar codificações de igrejas sem quebrar o raciocínio equacional?
Observe este programa: {-# LANGUAGE RankNTypes #-} import Prelude hiding (sum) type List h = forall t . (h -> t -> t) -> t -> t sum_ :: (Num a) => List a -> a sum_ = \ list -> list (+) 0 toList :: [a] -> List a toList = \ list cons nil -> foldr ...
Haskell - Filtrar último elemento
Quero filtrar o último elemento de uma lista que não satisfaz uma propriedade. Um exemplo seria smallerOne :: a->Bool smallerOne x = x < 1A função filterLast deve fornecer filterLast smallerOne [1, -2, -3, -4, 5] [1, -2, -3, -4] //Filters the ...
Explicação dos números em Haskell
Eu gostaria de uma explicação clara deNum, Real, Integral, Integer, Int, Ratio, Rational, Double, Float.
Por que a leitura não pode deduzir o tipo correto?
No Haskell, posso fazer o valor do Haskell a partir de uma string comread. Prelude> read "1" + 3 4Eu posso usarfst para obter o primeiro elemento Prelude> fst (1,2) 1No entanto, recebo um erro ao combinarread efst para obter o primeiro ...
Por que talvez inclui Just?
Graças aalgumas excelentes respostas aqui [https://stackoverflow.com/a/18809252/656912], Eu geralmente entendo (claramente de uma maneira limitada) o objetivo do trabalho de HaskellMaybe e que sua definição é data Maybe a = Nothing | Just ano ...
Falha na instalação do cabal gtk
Estou tentando instalar o gtk via cabal, no entanto, estou recebendo os seguintes erros de tipo ao construí-lo [ 22 of 209] Compiling Graphics.UI.Gtk.Embedding.Plug ...
GHC se recusa a exportar módulos qualificados
Quero escrever um módulo que reexporte algum módulo que ele importou qualificado. Algo assim: module Foo.A ( module Foo.B , module Foo.C ) where import qualified Foo.B import qualified Foo.C -- bunch of code using Foo.B and Foo.C hereParece que ...