Resultados da pesquisa a pedido "haskell"
Erro Haskell: erro de análise na entrada `= '
Especificações GHC 6.12.1 Mac OS X 10.6.4 x64 MacBook Pro Problema Estou tendo problemas para usarlet sintaxe. O código a seguir se recusa a compilar: module Main where main = let x = 1 y = 2 z = 3 in putStrLn $ "X = " ++ show x ++ "\nY = " ...
Explicação das leis da Mônada
Deuma introdução suave a Haskell [https://www.haskell.org/tutorial/monads.html], existem as seguintes leis de mônada. Alguém pode explicar intuitivamente o que eles significam? return a >>= k = k a m >>= return = m xs >>= return . f = fmap f xs ...
ajuda com o leitor mônada
Eu sou novo na haskell, tenho que escrever um programa que reconhece o contexto, então pensei em usar o Reader Monad para manter o contexto lido em um arquivo. Sei como ler o arquivo, colocando o conteúdo em uma lista de itens como [([Char], ...
Definição de haskell primPutChar
Estou tentando descobrir como o básicoIO Funções Haskell são definidas, então eu useiesta referência [https://www.haskell.org/onlinereport/standard-prelude.html] e cheguei aoputChar definição de função: putChar :: Char -> IO () putChar = ...
Como converter uma lista de (Char, Int) em uma seqüência de caracteres com o número especificado de caracteres repetidos?
Como posso converter[(char,Int)] para uma String do Int no segundo componente fornece o número de repetições do caractere no primeiro componente? Por exemplo, a entrada[(a,9),(b,10)] deveria dar["aaaaaaaaa","bbbbbbbbbb"] como saída.
Pacote de teste Haskell Stack Ghci
Estou tentando usar a pilha para carregar meu conjunto de testes em ghci e fazer com que ele carregue a dependência do QuickCheck e do hspec. Como posso fazer isso? Estou usando o modelo ...
Posso criar magia da igualdade de tipos a partir de uma dependência funcional?
Estou tentando entenderMultiParamTypeClasses eFunctionalDependencies, e o seguinte me pareceu uma coisa óbvia para tentar: {-# LANGUAGE MultiParamTypeClasses , FunctionalDependencies , TypeOperators #-} import Data.Type.Equality class C a b | a ...
Digite mistérios. Por que esse código é compilado?
Este código não compila: default () f :: RealFloat a => a f = 1.0 g :: RealFloat a => a g = 1.0 h :: Bool h = f < g --Error. Ambiguous.Isso é esperado porque é ambíguo. As duas possibilidades sãoFloat eDouble e o compilador não sabe qual< ...
Alterando o tipo de retorno de uma função no Haskell?
Existe uma maneira sucinta de alterar o tipo de retorno de uma função? Considerarpor exemplo comparing noData.Ord. Retorna umOrdering. No entanto, estou interessado apenas em saber se os dois itens são iguais ou não. Então, eu preciso converter ...
Variáveis de correspondência de padrão em uma instrução de caso em Haskell
Se eu comparar uma literal de cadeia de caracteres com uma literal de cadeia de caracteres usando a instrução case, obtenho o comportamento esperado: se elas são iguais - corresponde, se não forem -, não é. No entanto, se eu comparar uma literal ...