Resultados da pesquisa a pedido "typeclass"
Escrevendo instâncias de classe de tipo para classes aninhadas no Scala
Dentrosta recente pergunta sobre estouro de pilha [https://stackoverflow.com/questions/7699831/turning-a-list-sequence-of-combinator-parsers-into-a-single-one] , o autor queria alterar uma lista de analisadores de algum tipo para um analisador ...
Restringindo uma mônada a uma classe de tipo
Em Haskell, existe uma maneira de restringir uma mônadaM a de modo aa satisfazer uma restrição de classe de tipo? Estou traduzindo oexemplo de modelagem ...
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 ...
Como obtenho uma instância da classe de tipo associada a um contexto vinculado?
Nota: Estou fazendo esta pergunta para responder a mim mesmo, mas outras respostas são bem-vindas. Considere o seguinte método simples: def add[T](x: T, y: T)(implicit num: Numeric[T]) = num.plus(x,y)Eu posso reescrever isso usando umlimite de ...
"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 ...
alternativa às classes tipográficas?
programador haskell. usando F #. nenhuma classe de letra em F #. o que usar quando preciso de aulas tipográficas?
Por que a soma x y é do tipo (Num a) => a -> a -> a em Haskell?
Eu tenho lido sobre Haskell e estou tendo dificuldades para entender como as definições de função são tratadas nessa linguagem. Digamos que estou definindo umsum função: let sum x y = x + yse eu consultar Haskell por seu tipo :t sumeu ...
ghci lista todas as instâncias de classe de tipo possíveis?
Quando o ghc não puder determinar uma instância de classe de tipo concreto, você receberá uma mensagem como: No instance for ... arising from a use of `it' The type variable `a0' is ambiguous Possible fix: add a type signature that fixes these ...
radução de interface do @OO para Haskell
Meu problema específico, na verdade, não é sobre a tradução geral de uma interface OO para Haskell. Este é apenas o melhor título que eu poderia inventar. No entanto, tenho certeza de que meu problema se origina de uma compreensão ainda fraca do ...
Como faço para fazer uma lista heterogênea no Haskell? (originalmente em Java)
Como converter a seguinte implementação Java em Haskell? O principal objetivo aqui é ter uma lista que contém vários elementos que são subtipo de uma interface específica. Tentei fazer uma versão Haskell abaixo, mas não atendi meu objetivo. O ...