爲什麼Haskell的「什麼都不做」的功能，ID，消耗大量的內存？

Question

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是一個非常簡單的函數，我不希望它在運行時或編譯時成爲內存負擔。什麼是所有使用的內存？

Answer 1

我們知道的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的類型簽名是兩倍大。

請注意，類型在編譯期間被刪除，所以這隻會佔用GHC中的內存。它不會佔用你程序中的內存。