Riga di codice Haskell non compilata: "Contesto di tipi di dati illegali"

Question

Non riesco a compilare questa riga di codice in Haskell ma funziona sul sistema del mio professore. Io uso ghci versione 7.6.2.

data Eq a => Shape a = Shape a 

Più precisamente, questo è l'errore che sto ottenendo

[1 of 1] Compiling Main    (test.hs, interpreted) 

test.hs:1:6: 
Illegal datatype context (use -XDatatypeContexts): Eq a => 
Failed, modules loaded: none. 

Qual è l'errore qui?

Grazie

Answer 1

Probabilmente il tuo professore sta usando una versione precedente di GHC. La linea che hai pubblicato utilizza una funzione che è stata rimossa da poco tempo. Le soluzioni possibili sono:

1. Rimuovere Eq a => e scrittura data Shape a = Shape a.

2. Come dice GHC, dare il flag -XDatatypeContexts per riattivare la funzione rimossa.

Più in dettaglio: la Eq a => parte della vostra dichiarazione del tipo è chiamato un contesto tipo di dati. La sua unica funzione è limitare il tipo di costruttore Shape, in modo che invece di Shape :: a -> Shape a si ottenga Shape :: Eq a => a -> Shape a. Non ti evita di dover scrivere Eq a in firme di tipo che includono Shape s, e in effetti ti richiederà persino di scriverle quando non dovresti altrimenti. Una volta era utile quando i campi severi nei tipi di dati richiedevano un vincolo di classe, ma quella funzione era stata rimossa molto tempo fa.

In breve, la rimozione del contesto è quasi sempre un miglioramento del programma, pertanto sono stati rimossi dallo standard di lingua Haskell 2011. Dal momento che GHC 7.0.1 è stata un'opzione per disattivarli e dal 7.2.1 è stata l'impostazione predefinita.

Answer 2

Penso che il messaggio di errore è chiaro in quello che dice. Hai bisogno di un'estensione per questo.

{-# LANGUAGE DatatypeContexts #-} 
data Eq a => Foo a = Foo a 

Sebbene questa estensione utilizzato per essere per impostazione predefinita ma partendo da ghc 7,6, il suo utilizzo è considerato deprecated e verrà rimossa in futuro. Quindi il tuo professore potrebbe usare una versione precedente di ghc.

Answer 3

Vedere anche https://stackoverflow.com/a/22622591/2008899 che spiega il "Perché?" dietro al cambio di lingua e mostrando un esempio GADT che fa quali contesti dei tipi di dati era supposto da fornire.