ทำไมฟังก์ชัน "ไม่ทำอะไร" ของ Haskell, id, ใช้หน่วยความจำมากมาย

Haskell มีฟังก์ชัน Identity ซึ่งส่งคืนอินพุตที่ไม่เปลี่ยนแปลง คำจำกัดความนั้นง่ายมาก:

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มีขนาดใหญ่เป็นสองเท่า

โปรดทราบว่าประเภทจะถูกลบระหว่างการคอมไพล์ดังนั้นจะใช้หน่วยความจำใน GHC เท่านั้น จะไม่ใช้หน่วยความจำในโปรแกรมของคุณ