Haskell records, un enfoque más limpio?

Question

He leído acerca de algunos de los problemas con los registros Haskell, en particular, el hecho de que dos elementos en el mismo módulo no pueden tener el mismo nombre.

entiendo puede solucionar esto por tener módulos separados, pero yo no quería hacer eso y en cambio trataron este enfoque:

class HasX a where 
    x :: a -> X 

data D1 = D1 { d1_x :: X, ... } 
instance HasX D1 where 
    x = d1_x 

data D2 = D2 { d2_x :: X, ... } 
instance HasX D2 where 
    x = d2_x 

(Esto sólo se consigue, no juegos, que había por supuesto, necesita escribir más código para hacer conjuntos).

Sin embargo, parece que las declaraciones de clase y de instancia para todo esto parecen un tipo de repetitivo que debería poder eliminarse, utilizando plantillas de haskell u otra cosa.

¿Hay alguna biblioteca o extensión en GHC que haga que este enfoque sea menos complicado de escribir?

Answer 1

Parece Data.Has encapsula mucho de lo que estás buscando. En su vocabulario, creo que su clase de tipo Knows está más cerca de su Has, y también proporciona una firma para inyección.

También utilizan un mecanismo de etiquetado para tratar un problema que no creo que haya considerado todavía: registros que contienen campos que tienen el mismo tipo. Usan etiquetas de nivel de tipo para hacer esta desambiguación.

Para mayor comodidad, también parece ser algún tipo de apoyo que proporciona un generador para la Has ejemplo, con plantilla de Haskell en Has-TH

Puede encontrar más etiquetas de nivel de tipo y otro material de registro relevante en las obras de la Oleg el mago tipo, como OOHaskell (también con Ralf Lämmel).

Answer 2

la plantilla de datos-acceso puede al menos ayudar a escribir los accesadores set/get. Tal vez algunas personas puedan crear el código Template Haskell para la generación de clases e instancias para cada nombre de campo de registro. Sin embargo, yo no uso el material de Template Haskell yo mismo. Lo restringe a GHC, e incluso a versiones específicas de GHC, ya que Template Haskell cambia entre las diferentes versiones de GHC. Tener un registro (principal) por módulo realmente vale la pena.