Preguntas etiquetadas con typeclass

Quiero definir una clase de tipo para objetos geométricos que se puedan intersectar juntos: class Intersect a b c | a b -> c where intersect :: a -> b -> c -- Language extensions: -XMultiParamTypeClasses, -XFunctionalDependencies La idea es tener funciones de intersección de propósito general que puedan manejar …

11 haskell  type-systems  typeclass 

Parece que cualquier instancia de Bounded debería tener una implementación sensata de Enum. No puedo pensar personalmente en un contraejemplo, aunque si a alguien se le ocurre uno que no sea patológico, entenderé por qué este no es el caso. Al hacerlo :ien las dos clases de tipos, parece que …

9 haskell  typeclass