Resultados da pesquisa a pedido "typeclass"
Como uma substituição é exibida para um novo tipo?
Quero substituir os construtores inteiros padrão em Haskell para que eles produzam strings (principalmente por curiosidade, mas temporariamente para fazer uma boa alternativa de entrada para a inconveniência do \ frac {} {} do LaTeX). Eu queria ...
Por que o contexto não é considerado ao selecionar a instância da classe de tipo no Haskell?
Eu entendo que ao ter instance (Foo a) => Bar a instance (Xyy a) => Bar aO GHC não considera os contextos e as instâncias são relatadas como duplicadas. O que é contra-intuitivo, que (eu acho) depois de selecionar uma instância, ele ainda ...
É possível codificar uma função genérica de "elevação" em Haskell?
Não sou o maior fã de varargs, mas sempre achei o aplicativo (f <$> x <*> y) e idioma ([i| f x y |]) os estilos têm muitos símbolos. Eu geralmente prefiro ir aoliftA2 f x y maneira, mas eu também acho que A2 é um pouco feio. ...
O envio de um Haskell TypeClass é dinâmico?
Dado o seguinte instantâneo de código Haskell: class Foo a where bar :: a -> ... quux :: a -> ... ...Onde o valor de a é determinado em tempo de execução - a classe despacha esse valor. Estou assumindo que o compilador possa verificar ...
Acessando o "show padrão" em Haskell?
Digamos que você tenha uma estrutura de dados (emprestada dessaPergunta, questão [https://stackoverflow.com/q/2529663/67579]): data Greek = Alpha | Beta | Gamma | Delta | Eta | Number IntAgora pode-se fazer disso uma instância deShow ...
Haskell: restrições padrão para digitar
Considere este exemplo: applyKTimes :: Integral i => i -> (a -> a) -> a -> a applyKTimes 0 _ x = x applyKTimes k f x = applyKTimes (k-1) f (f x) applyThrice :: (a -> a) -> a -> a applyThrice = applyKTimes 3o3 noapplyThrice é padronizado pelo GHC ...
Por que preferir Typeclass em vez de herança?
De acordo com issoO slide de Erik Osheim [http://plastic-idolatry.com/typcls/#hard-oo-yes], ele diz que a herança pode resolver o mesmo problema que a classe, mas menciona que a herança tem um problema chamado: pesadelo de herança frágil e diz ...
Instâncias órfãs em Haskell
Ao compilar meu aplicativo Haskell com o-Wall opção, o GHC reclama de instâncias órfãs, por exemplo: Publisher.hs:45:9: Warning: orphan instance: instance ToSElem ResultA classe de tipoToSElem não é meu, é definido ...
"Não pode existir abstratamente sobre o tipo parametrizado ..."
Eu estava brincando com o Scala 2.8 por diversão e tentando definir umcafetão [http://www.artima.com/weblogs/viewpost.jsp?thread=179766]que adiciona um método "as" para digitar construtores, permitindo a conversão de um functor para outro (por ...
Explicação dos números em Haskell
Eu gostaria de uma explicação clara deNum, Real, Integral, Integer, Int, Ratio, Rational, Double, Float.