¿Por qué no se pueden poner firmas de tipo en declaraciones de instancias en Haskell?

Question

Me gusta poner firmas de tipo para todas las definiciones de nivel superior en mi código. Sin embargo, las firmas de tipo en las declaraciones de instancias no parecen permitidas, y si pongo una, recibo un error de "firma de tipo erróneo" de GHC. ¿Por qué esto es tan? ¿Por qué GHC no puede verificar si la firma tipo es la misma que esperaba y rechazar (o advertir) si no es así?

Answer 1

Puede crear las funciones por separado, fuera del cuerpo de la instancia, si realmente quiere las declaraciones de tipo.

class Class a where 
    f1 :: a -> a 

instance Class Foo where 
    f1 = foo_f1 

--monomorphic version of f1 for Foo: 
foo_f1 :: Foo -> Foo 
foo_f1 = ... 

Answer 2

Dado que la firma es parte de la definición de clase, una firma de tipo en una declaración de instancia sería una firma duplicada. No creo que haya un problema para permitir la duplicación de firmas en principio, pero no hay ninguna ventaja en general, y es más simple no permitirlas. Entonces la definición del lenguaje dice que puede haber como máximo un tipo de firma por entidad. La característica de permitir firmas también en declaraciones de instancias no se ha solicitado demasiado, por lo que no hay una extensión que lo permita. Si realmente lo desea, puede presentar una solicitud de función en el GHC trac. Si obtiene suficiente interés, puede implementarse (pero no espero que la demanda sea alta).

Answer 3

En cualquier caso, el tipo es redundante y uno normalmente quiere evitar redundancias. En Frege, no obstante, se permite escribir firmas de tipo para los miembros de la instancia. Ellos son revisados ​​y luego desechados. Por supuesto, es más fácil prohibirlos de inmediato.

Answer 4

Puede agregar firmas de tipo para las instancias usando [la nueva] -XInstanceSigs, que es especialmente útil para poner las variables de tipo en el alcance. Puede encontrar más información en el official docs.