Perché non è possibile inserire firme di tipo nelle dichiarazioni di istanza in Haskell?

Question

Mi piace mettere le firme di tipo per tutte le definizioni di primo livello nel mio codice. Tuttavia, le firme di tipo nelle dichiarazioni di istanza non sembrano essere consentite e, se ne inserisco una, viene visualizzato un errore di "Segnatura in caratteri errati" da GHC. Perché è così? Perché GHC non può controllare se la firma del tipo è la stessa di quanto si aspettava e rifiutare (o avvisare) se non lo è?

Answer 1

È possibile creare le funzioni separatamente, al di fuori del corpo dell'istanza, se si specifica le dichiarazioni di 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

Poiché la firma fa parte della definizione di classe, una firma di tipo in una dichiarazione di istanza sarebbe una firma duplicata. Non penso che ci sia un problema nel consentire in linea di principio firme duplicate, ma non c'è alcun vantaggio nel consentirle in generale, ed è più semplice disabilitarle. Quindi la definizione della lingua dice che al massimo può esserci una firma di tipo per entità. La funzionalità di consentire le firme anche nelle dichiarazioni di istanza non è stata richiesta per molto, quindi non c'è un'estensione che lo consenta. Se lo desideri davvero, puoi richiedere una richiesta di funzionalità sullo GHC trac. Se riceve abbastanza interesse, può essere implementato (ma non mi aspetto che la domanda sia alta).

Answer 3

In ogni caso, il tipo è ridondante e normalmente si vuole evitare le ridondanze. In Frege, è tuttavia consentito scrivere firme di tipo per membri di istanza. Sono controllati e poi gettati via. Ovviamente è più facile proibirli subito.

Answer 4

È possibile aggiungere firme di tipo per le istanze utilizzando [il nuovo] -XInstanceSigs, che è particolarmente utile per portare le variabili di tipo in ambito. Puoi trovare ulteriori informazioni nello official docs.