Los tipos de datos algebraicos (ADT) en Haskell pueden convertirse automáticamente en instancias de algunos tipos de clases (comoShow,Eq) derivando de ellos. data Maybe a = Nothing | Just a deriving (Eq, Ord) Mi pregunta es, ¿cómo funciona esto deriving , es decir, cómo sabe Haskell cómo...
Dado cualquier tipo de contenedor, podemos formar el Zipper (centrado en elementos) y saber que esta estructura es un Comonad. Esto se exploró recientemente con maravilloso detalle en otra pregunta de Stack Overflow para el siguiente tipo: data Bin a = Branch (Bin a) a (Bin a) | Leaf a deriving...
Tengo una docena de nuevos tipos como este: newtype MyBool = MyBool Bool newtype MyInt = MyInt Int Quiero reutilizar instancias existentes: instance MArray IOUArray Int IO where ... instance MArray (STUArray s) Int (ST s) where ... Implementar estas instancias y tener todo el código repetitivo...