Resultados da pesquisa a pedido "typeclass"
Como instâncias indecidíveis podem realmente travar o compilador?
Quando li pela primeira vez sériocríticas sobre-XUndecidableInstances [https://lukepalmer.wordpress.com/2008/04/08/stop-using-undecidable-instances/], Eu já tinha me acostumado completamente, vendo-o apenasremoção de uma restrição irritante que ...
Tipeclasses e sobrecargas, qual é a conexão?
Atualmente, estou tentando entender minhas classes e instâncias e ainda não entendo o objetivo delas. Eu tenho duas perguntas sobre o assunto até agora: 1) Por que é necessário ter uma classe de tipo em uma assinatura de função quando a função ...
Por que o Numérico se comporta de maneira diferente do Pedido?
O Scala possui várias características que você pode usar como classes de tipo, por exemploOrdered eNumeric Na embalagemscala.math. Eu posso, por exemplo, escrever um método genérico usandoOrdered como isso: def f[T <% Ordered[T]](a: T, b: T) = ...
Instância de Functor para Construtor de Tipo com Dois Parâmetros no Scala
Eu tenho aulaFoo com dois parâmetros e estou tentando escrever uma instância do Functor para Foo com o primeiro parâmetro corrigido, da seguinte maneira: object Scratchpad { trait Functor[F[_]] { def fmap[A, B](f: A => B): F[A] => F[B] } case ...
Em Idris, “Eq a” é um tipo e posso fornecer um valor para ele?
Na sequência,example1 é uma sintaxe padrão (conforme documentada), comEq a como uma restrição. Noexample2, Eu especificoEq a diretamente como o tipo de um parâmetro e o compilador o aceita. No entanto, não está claro o que posso especificar como ...
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 ...
Haskell: Possível correção: adicione (Eq a) ao contexto de
Sou um pouco novo em Haskell e estou tendo dificuldades para entender o que há de errado com meu código aqui. Aqui está o que eu devo fazer: Considere a seguinte definição de uma árvore binária data BinaryTree a = Empty | Node a (BinaryTree a) ...
Dependências funcionais em Haskell
Estou tentando entender as dependências funcionais, mas não chego a lugar algum por conta própria. No artigo "Transformadores de mônada passo a passo", o autor fornece essas duas definições de classes de tipos: class (Monad m) => MonadError e m ...