Resultados da pesquisa a pedido "typeclass"
Condição de cobertura liberal introduzida no GHC 7.7 quebra código válido no GHC 7.6
A ideia Estou escrevendo umDSL [http://en.wikipedia.org/wiki/Domain-specific_language], que é compilado para Haskell. Os usuários dessa linguagem podem definir estruturas de dados imutáveis próprias e funções associadas. Por função associada, ...
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 ...
Qual é o efeito dos sinônimos de tipo nas instâncias das classes de tipo? O que o pragma TypeSynonymInstances no GHC faz?
eu estou lendoMundo Real Haskell Pg 151, e observei a seguinte passagem por mais de uma hora: Lembre-se de que String é sinônimo de [Char], que por sua vez é o tipo [a] em que Char é substituído pelo parâmetro de tipo a. De acordo com as regras ...
É possível introduzir variáveis de tipo adicionais em uma restrição de superclasse?
Ao lidar com famílias de tipos, geralmente é útil usar restrições de igualdade para evitar a necessidade de repetir o nome de alguma função de tipo em uma assinatura: class Foo f where type BulkyAssociatedType f :: * foo :: BulkyAssociatedType ...
Por que Haskell para de inferir as classes de tipo do tipo de dados nas assinaturas de função?
Em primeiro lugar, esta questão não é 100% específica para Haskell, sinta-se à vontade para comentar sobre o design geral de classes, interfaces e tipos. eu estou lendoLYAH - criando tipos e classes de ...
Tipos de Haskell frustrando uma função "média" simples
Estou brincando com o iniciante Haskell e queria escrever uma função comum. Parecia a coisa mais simples do mundo, certo? Errado. Parece que o sistema de tipos de Haskell proíbe a média de trabalhar em um tipo numérico genérico - posso fazê-lo ...
São possíveis sinônimos de tipo com restrições de classe de tipo?
Sinta-se livre para mudar o título, mas não tenho experiência suficiente para saber o que realmente está acontecendo. Então, eu estava escrevendo um programa vagamente baseado emesta [http://www.cs.dartmouth.edu/~cs8/F2011/notes/11/Sudoku.lhs], ...
Restrição de classe de tipo nas instâncias da família de tipos
É possível especificar uma restrição de classe de tipo que deve ser atendida por todas as instâncias de uma família de tipos? Por exemplo, dada a seguinte declaração, como garantir que todas as instâncias também sejam instâncias deEq: data ...
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 ...
Por que o Scala não consegue encontrar minha instância de classe definida implicitamente no objeto complementar, quando a classe não está em um arquivo de origem dedicado?
Por favor, consulte o código fonte abaixo. Todo o código-fonte é definido no mesmo pacote. Quando eu defino todo o código em um único arquivo de origemShowMain.scala, Recebo um erro de compilação, no entanto, quandoobject ShowMain é definido ...