タイプとnewtypeのコンパイル時間と実行時間の差

Question

type宣言とnewtype宣言の間で、読み込みコンパイル実行パイプラインのさまざまな段階での違いは何ですか？

私の仮定は、彼らが同じマシン命令までコンパイルされ、プログラムの型検査されたときの例

type Name = String 
newtype Name_ = N String 

のためにあなたはどこにでもStringが必要とされNameを使用できる場所唯一の違いは、あったことということでした同じ情報をエンコードしているにもかかわらず、Stringが期待されるName_を使用すると、型チェッカーがあなたに電話をかけます。

これが事実であるならば、私は次の宣言が有効でない理由何らかの理由が表示されていない、ので、私は質問をしています：

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

はしかし、型チェッカーは、第二の受け入れ一方は最初のものを拒否します。何故ですか？

Answer 1

Luquiのコメントが答えになるはずです。ハスケルの型同義語は、最初の近似だけで、マクロ以外何もありません。つまり、型チェッカーによって完全に評価された型に展開されます。型チェッカーは無限型を扱うことができないので、Haskellには等再帰型はありません。

newtypesは、GHCでは、本質的にコア言語で等再帰型にコンパイルされるiso-recursive型を提供します。 HaskellはGHCコアではないので、あなたはそのような型にアクセスすることはできません。 Equi-recursive型は型チェッカーと人間の両方で動作するのが少し難しく、iso-recursive型は同等の能力を持ちます。