Czas kompilacji i różnica czasu między typem a nowym typem:

Question

Jaka jest różnica, na różnych etapach procesu odczytu-kompilacji, między deklaracją type a deklaracją newtype?

Moim założeniem było to, że skompilowany w dół do tych samych instrukcji maszynowych, i że jedyną różnicą było to, gdy program jest typechecked, gdzie na przykład

type Name = String 
newtype Name_ = N String 

Można użyć Name wszędzie, gdzie String jest wymagane, ale typechecker wywoła cię, jeśli użyjesz Name_, gdzie oczekuje się String, mimo że kodują te same informacje.

pytam pytanie, ponieważ jeśli jest to przypadek, nie widzę żadnego powodu, dlaczego następujące deklaracje nie powinny być ważne:

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

Jednak kontroler typu akceptuje sekundę jeden, ale odrzuca pierwszy. Dlaczego?

Answer 1

Komentarz Luqui powinien być odpowiedzią. Typ synonimów w Haskell są do pierwszego przybliżenia nic więcej niż makra. Oznacza to, że są one rozszerzane przez kontroler typu na w pełni oszacowane typy. Sprawdzanie typu nie może obsłużyć nieskończonych typów, więc Haskell nie ma typów rekursywnych.

newtypes zapewniają typy izo-rekursywne, które w GHC zasadniczo kompilują się do typów equi-rekursywnych w języku podstawowym. Haskell nie jest rdzeniem GHC, więc nie masz dostępu do takich typów. Typy wyrównujące rekurencję są nieco trudniejsze w pracy zarówno z kontrolerami typów jak i ludźmi, podczas gdy typy izo-rekursywne mają taką samą moc.