Haskell'in neden "hiçbir şey yapmama" fonksiyonu var id, tonlarca hafızayı tüketiyor?

Question

Haskell, girdiyi değiştirmeden veren bir kimlik fonksiyonuna sahiptir. tanım basittir: eğlence için Yani

id :: a -> a 
id x = x 

, bu çıkış 8 yapmalıdır: Birkaç saniye (ve Görev Yöneticisi göre belleğin yaklaşık 2 gb) sonra

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 

, derleme ghc: out of memory başarısız olur. Benzer şekilde, tercüman ghci: out of memory diyor.

id oldukça basit bir işlev olduğundan, çalışma zamanında bellek yükü veya derleme zamanı olmasını beklemezdim. Tüm bellek ne için kullanılıyor?

Answer 1

Biz

id :: a -> a 

, id tipini biliyorum Ve id id için bu uzmanlaşmak zaman yazın etti id ait kopyasını sol:

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

Ve sonra tekrar bu uzmanlaşmak zaman id id id içinde en soldaki id için aşağıdakilere sahip olursunuz:

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

Böylece, her id eklediğiniz görüyorsunuz, en soldaki id türünün imzası iki kat büyüktür.

Derleme sırasında türlerin silineceğini unutmayın, bu nedenle yalnızca GHC'de bellek kalkar. Programında hafızaya girmeyecek.