18
Como lo demuestra la Typeclassopedia, la pila actual de clases importadas de la teoría de categorías es un poco un accidente enredado de la historia, en lugar de un hermoso conjunto coherente.Rehacer las clases estándar
En particular, esto hace que sea bastante difícil seguir lo que está sucediendo.
¿Qué debería tener parece que esto, si las preocupaciones menores como la compatibilidad con versiones anteriores, la duplicación de código o las firmas de tipo cortas no eran un problema?
Las clases no se importaron de la teoría de categorías. –
@DonStewart: Tal vez no estaba claro. No pretendo que la idea de una clase de tipo provenga de la teoría de categorías. Me refiero a las clases de tipos de Haskell que se basan en la teoría de categorías: 'Functor',' Applicative', 'Monad', etc. – MathematicalOrchid
OK. Revisé mi respuesta para distinguir los intentos de categorizar las clases numéricas; y las clases teóricas de categoría. –