Perguntas com a marcação «typeclass»

Eu quero definir uma classe de tipo para objetos geométricos que podem ser cruzados: class Intersect a b c | a b -> c where intersect :: a -> b -> c -- Language extensions: -XMultiParamTypeClasses, -XFunctionalDependencies A idéia é ter funções de interseção de uso geral que possam manipular …

11 haskell  type-systems  typeclass 

Parece que qualquer instância vinculada deve ter uma implementação sã do Enum. Pessoalmente, não consigo pensar em um contra-exemplo, embora, se alguém criar um que não seja patológico, entenderei por que não é esse o caso. Ao executar :inas duas classes de tipos, parece que a única exceção atualmente na …

9 haskell  typeclass