Questions marquées «typeclass»

Utilisation de classes de type Haskell pour appliquer la commutativité

Je veux définir une classe de type pour les objets géométriques qui peuvent être intersectés ensemble: class Intersect a b c | a b -> c where intersect :: a -> b -> c -- Language extensions: -XMultiParamTypeClasses, -XFunctionalDependencies L'idée est d'avoir une fonction d'intersection à usage général qui peut …

11 haskell type-systems typeclass

Pourquoi Bounded n'est-il pas une sous-classe d'Enum à Haskell

Il semble que toute instance Bounded devrait avoir une implémentation saine d'Enum. Je ne peux pas personnellement penser à un contre-exemple, bien que si quelqu'un en trouve un qui n'est pas pathologique, je comprendrai pourquoi ce n'est pas le cas. En faisant :isur les deux classes de caractères, il semble …

9 haskell typeclass

En utilisant notre site, vous reconnaissez avoir lu et compris notre politique liée aux cookies et notre politique de confidentialité.

Licensed under cc by-sa 3.0 with attribution required.