为什么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是其两倍大。

请注意，类型会在编译过程中删除，因此只会占用GHC中的内存。它不会占用程序中的内存。