Haskell Zeile des Codes nicht kompilieren: "Illegal Datentyp Kontext"

Question

Ich bin nicht in der Lage, diese Codezeile in Haskell kompiliert zu bekommen, aber es funktioniert auf meinem Professor System. Ich benutze ghci Version 7.6.2.

data Eq a => Shape a = Shape a 

Genauer gesagt, ist dies der Fehler, den ich immer bin

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

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

Was ist der Fehler hier?

Dank

Answer 1

Ihr Professor verwendet wahrscheinlich eine ältere Version von GHC. Die von Ihnen gepostete Zeile verwendet eine Funktion, die vor Kurzem entfernt wurde. Die möglichen Lösungen sind:

1. Eq a => entfernen und data Shape a = Shape a schreiben.

2. Wie GHC sagt, geben Sie das Flag -XDatatypeContexts ein, um das entfernte Feature wieder zu aktivieren.

Genauer gesagt: die Eq a => Teil Ihrer Typdeklaration ist ein Datentyp Kontext genannt. Seine einzige Funktion ist es, den Typ des Shape Konstruktors zu beschränken, so dass Sie anstelle von Shape :: a -> Shape aShape :: Eq a => a -> Shape a erhalten. Es erspart Ihnen nicht, in Typensignaturen zu schreiben, die Shape s enthalten, und tatsächlich werden Sie sogar aufgefordert, sie zu schreiben, wenn Sie es sonst nicht benötigen würden. Es war einmal nützlich, wenn strikte Felder in Datentypen eine Klassenbeschränkung erforderten, aber diese Funktion wurde vor langer Zeit entfernt.

Kurz gesagt, ist das Entfernen des Kontexts fast immer eine Verbesserung für Ihr Programm, daher wurden sie aus dem Haskell 2011-Sprachstandard entfernt. Seit GHC 7.0.1 gibt es eine Option zum Ausschalten und seit 7.2.1 war es die Standardeinstellung.

Answer 2

denke ich die Fehlermeldung in klar ist, was es sagt. Sie brauchen dafür eine Erweiterung.

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

Obwohl diese Erweiterung standardmäßig verwendet werden soll, jedoch ausgehend von ghc 7.6 ist seine Verwendung deprecated angesehen und wird in der Zukunft entfernt werden. Also könnte Ihr Professor eine ältere Version von ghc verwenden.

Answer 3

Siehe auch https://stackoverflow.com/a/22622591/2008899, die das "Warum?" hinter der Sprachveränderung sowie zeigt ein GADT-Beispiel, das, was Datentyp Kontexte war angenommen zu bieten.