Resultados da pesquisa a pedido "haskell"
Como encadear o uso de talvez argumento em haskell?
Eu estou tentando criar uma seqüência de caracteres opcionais. Por exemplo, para gerar uma sequência de saudação a partir de um título e um nome. Isso é trivial em um idioma imperativo e seria semelhante a este def greeting(title, name): s = ...
Função Sobrecarga em Haskell
Eu tenho uma estrutura que representa a equação de uma linha na formam x + b e uma estrutura de um ponto Line { m :: Double, b :: Double } deriving( Show, Eq ) Point { x :: Double, y :: Double } deriving( Show, Eq )Eu quero a funçãoperpendicular ...
Existe um algoritmo rápido para determinar o número godel de um termo de uma linguagem livre de contexto?
Suponha que tenhamos uma especificação gramatical simples. Existe uma maneira de enumerar os termos dessa gramática que garante que qualquer termo finito terá uma posição finita,iterando-o na ...
Tipo de um duplo
Learning Haskell, emghci: Prelude Data.Ratio> :type 0.15 0.15 :: Fractional a => a Prelude Data.Ratio> 0.15 0.15 it :: DoublePor que os tipos são diferentes? Essas duas instâncias de 0,15 são realmente diferentes?
Por que não existem variáveis de tipo quantificadas existencialmente no GHC Haskell
Existem variáveis de tipo quantificadas universalmente e existem tipos de dados quantificados existencialmente. No entanto, apesar de as pessoas fornecerem pseudocódigo da formaexists a. Int -> a para ajudar a explicar conceitos, às vezes, não ...
O que é "levantamento" em Haskell?
Não entendo o que é "levantar". Devo primeiro entender as mônadas antes de entender o que é um "elevador"? (Também sou completamente ignorante sobre mônadas :) Ou alguém pode me explicar com palavras simples?
O Functor Monoidal é Aplicável, mas onde está a classe de tipo Monoid na definição de Aplicável?
O candidato é um Functor Monoidal: mappend :: f -> f -> f $ :: (a -> b) -> a -> b <*> :: f(a -> b) -> f a -> f bMas não vejo nenhuma referência sobre o Monoid na definição da classe de tipo de aplicativo, você poderia me dizer por ...
Haskell: desempenho de IORefs
Eu tenho tentado codificar um algoritmo em Haskell que requer o uso de muitas referências mutáveis, mas é (talvez não surpreendentemente) muito lento em comparação com código puramente preguiçoso. Considere um exemplo muito simples: module Main ...
Substituindo => no lugar de -> na assinatura do tipo de função
Acabei de observar que se em vez de->, Eu escrevo=> na definição de assinatura de tipo de uma função, não resulta em erro de tempo de compilação. Código de exemplo: mysum :: Num a => [a] => a -- Notice => after the list [a] mysum [] = 0 ...
Entendendo os fibonacci de Haskell
fibs :: [Int] fibs = 0 : 1 : [ a + b | (a, b) <- zip fibs (tail fibs)]Isso gera a sequência de Fibonacci. Eu entendo o comportamento dos guardas, de:, zip etail, mas eu não entendo<-. O que está fazendo aqui?