Pourquoi la fonction «ne rien faire» de Haskell, id, consomme-t-elle des tonnes de mémoire?

Haskell a une fonction d'identité qui renvoie l'entrée inchangée. La définition est simple:

id :: a -> a
id x = x

Donc, pour le plaisir, cela devrait afficher 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

Après quelques secondes (et environ 2 Go de mémoire selon le Gestionnaire des tâches), la compilation échoue avec ghc: out of memory. De même, dit l'interprète ghci: out of memory.

Comme idc'est une fonction assez simple, je ne m'attendrais pas à ce que ce soit une charge de mémoire au moment de l'exécution ou de la compilation. À quoi sert toute la mémoire?

Nous connaissons le type de id,

id :: a -> a

Et quand nous nous spécialisons ceci pour id id, la copie de gauche de ida le type:

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

Et puis, lorsque vous spécialisez à nouveau cela pour le plus idà gauche id id id, vous obtenez:

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

Donc, vous voyez chaque que idvous ajoutez, la signature de type la plus à gauche idest deux fois plus grande.

Notez que les types sont supprimés lors de la compilation, donc cela ne prendra que de la mémoire dans GHC. Cela ne prendra pas de mémoire dans votre programme.