Kompilierzeit und Laufzeitdifferenz zwischen Typ und Newtype

Question

Worin besteht der Unterschied in verschiedenen Phasen der Read-Compile-Run-Pipeline zwischen einer type Deklaration und einer newtype Deklaration?

Meine Vermutung war, dass sie den gleichen Maschinenbefehle zusammengestellt nach unten, und dass der einzige Unterschied war, wenn das Programm typechecked, wo zum Beispiel

type Name = String 
newtype Name_ = N String 

Sie einen Name überall benötigt ein String wird verwenden können, aber der Typchecker wird Sie aufrufen, wenn Sie eine Name_ verwenden, wo eine String erwartet wird, obwohl sie die gleichen Informationen codieren.

Ich frage die Frage, denn wenn dies der Fall ist, ich keinen Grund, warum die folgenden Erklärungen nicht gültig sein sollte:

type List a = Either() (a, List a) 
newtype List_ a = L (Either() (a, List_ a)) 

übernimmt jedoch die Typprüfer die zweite einer aber lehnt den ersten ab. Warum das?

Answer 1

Luquis Kommentar sollte eine Antwort sein. Typensynonyme in Haskell sind in erster Näherung nichts anderes als Makros. Das heißt, sie werden vom Typchecker in vollständig ausgewertete Typen erweitert. Die Typüberprüfung kann keine unendlichen Typen verarbeiten, daher hat Haskell keine gleich rekursiven Typen.

newtypes stellen Sie iso-rekursive Typen bereit, die in GHC im Wesentlichen zu gleichgerichteten Typen in der Kernsprache kompilieren. Haskell ist kein GHC-Kern, Sie haben also keinen Zugriff auf solche Typen. Gleich rekursive Typen sind nur etwas schwieriger mit Typ-Checkern und Menschen zu arbeiten, während iso-rekursive Typen äquivalent sind.