Resultados da pesquisa a pedido "typeclass"
Haskell: Show de derivação para tipo personalizado
Tenho esta definição de tipo: data Operace = Op (Int->Int->Int) String (Int->Int->Int) deriving Show Quero imprimir esse tipo no shell interativo (GHCi). Tudo o que deve ser impresso é oString campo. Tentei o seguinte: instance Show Operace ...
Lista de itens de tipos restritos por classe
Estou tentando codificar uma lista de itens que têm tipos restritos a instâncias de alguma classe de tipo: {-# LANGUAGE RankNTypes, TypeSynonymInstances, LiberalTypeSynonyms #-} module Test where class Someable a where some :: a -> String data ...
s traços em D podem ser usados para classes de tip
Sou iniciante em D e estou procurando uma boa maneira de programar com classes do tipo Haskell, por exemplo. Functors, Monoids, etc. em D. algo assim implementado em Tango ou Phobo Ouvi falar de características que permitem a verificação do ...
Interface de Java e classe de tipo de Haskell: diferenças e semelhanças?
Enquanto estou aprendendo Haskell, notei suatype class, que deveria ser uma grande invenção originária de Haskel No entanto, ema página da Wikipedia no tipo class [http://en.wikipedia.org/wiki/Type_class]: O programador define uma classe de ...
Qual é a convenção de nomenclatura para as classes de tipo no Scala?
No mundo Java, as convenções de nomenclatura para interfaces estão muito bem estabelecidas. Por exemplo, quando você diz que determinada classe implementa a interfaceComparable, você pode dizer que seus objetos são comparáveis. No entanto, as ...
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 ...
Como criar uma instância de Read para um tipo de dados em haskell
Então eu tenho um tipo de dados data SomeType a = Type a | Mix (SomeType a) (SomeType a)Esta instância do meu programa para SomeType instance (Show a) => Show (SomeType a) where show (Type a) = show a show (Mix a b) = "(" ++ show a ++ " " ++ ...
Qual é a diferença entre tipo e tipo de dados no Haskel
Estou um pouco confuso quanto à diferença entre umtip etipo de dado em Haskell. Da literatura que encontrei, tive a impressão de que eram conceitos diferente
Criando uma hierarquia de classes no Coq?
Eu posso ingenuamente construir uma hierarquia de estruturas algébricas no Coq usando classes de tipo. Estou tendo problemas para encontrar recursos na sintaxe e na semântica da Coq para classes de tipo. No entanto, acredito que a seguir é uma ...
Declare que todas as instâncias de uma classe estão em outra classe sem modificar as declarações de classe originais
Existe uma API Crypto.Random dentro do pacote crypto-api que especifica o que significa algo ser um "gerador de números pseudo-aleatórios" Implementei essa API usando uma instância da classe RandomGen do System.Random, a saber, ...