La documentación para algebra/2.1.1.2/doc/html muestra un número colosal de clases de tipos. ¿Cómo puedo declarar que una estructura en cuestión debe estar equipada con una operación asociativa conmut
Con hammar's help he hecho un poco de Haskell plantilla que compila $(zModP 5)
a newtype Z5 = Z5 Int
instance Additive.C Z5 where
(Z5 x) + (Z5 y) = Z5 $ (x + y) `mod` 5
...
ahora estoy fren
Hace poco conocí la programación funcional (en Haskell y Scala). Sus capacidades y elegancia son bastante encantadoras. Pero cuando conocí a Monads, que hace uso de una estructura algebraica llamada M