Haskellの「何もしない」関数idが大量のメモリを消費するのはなぜですか？

Haskellには、入力を変更せずに返す恒等関数があります。定義は簡単です：

id :: a -> a
id x = x

だから楽しみのために、これは出力する必要があります8：

f = id id id id id id id id id id id id id id id id id id id id id id id id id id id
main = print $ f 8

数秒後（およびタスクマネージャによると約2 GBのメモリ）、コンパイルはで失敗しghc: out of memoryます。同様に、通訳は言うghci: out of memory。

idは非常に単純な関数なので、実行時またはコンパイル時にメモリの負荷になるとは思わないでしょう。使用されているすべてのメモリは何ですか？

のタイプを知っていますid、

id :: a -> a

これをに特化するとid id、の左側のコピーidは次のタイプになります。

id :: (a -> a) -> (a -> a)

そして、これをの左端idに再び特化するとid id id、次のようになります。

id :: ((a -> a) -> (a -> a)) -> ((a -> a) -> (a -> a))

つまりid、追加したそれぞれが表示され、左端の型シグネチャidは2倍になります。

型はコンパイル中に削除されるため、GHCでのみメモリを消費することに注意してください。プログラムのメモリを消費しません。