Почему вложенные навсегда утечки памяти?

Этот код утечки памяти (очень быстро, будьте готовы убить его, если вы попробуете):

import Control.Monad (forever)

main = do
    forever $ forever $ return ()

(скомпилировано с -O2, -O, -O0..., ghc 7.0.3) Я не понимаю, почему эта утечка - я использую довольно много такого кода с обработчиком исключений между веками, и я не совсем понимаю, почему это должно утечка памяти..

Я просто посмотрел в источник для Control.Monad и нашел это:

{- Note [Make forever INLINABLE]

If you say   x = forever a
you'll get   x = a >> a >> a >> a >> ... etc ...
and that can make a massive space leak (see Trac #5205)

In some monads, where (>>) is expensive, this might be the right
thing, but not in the IO monad.  We want to specialise 'forever' for
the IO monad, so that eta expansion happens and there no space leak.
To achieve this we must make forever INLINABLE, so that it'll get
specialised at call sites.

Still delicate, though, because it depends on optimisation.  But there
really is a space/time tradeoff here, and only optimisation reveals
the "right" answer.
-}

Эта ошибка предположительно "исправлена " ; к сожалению, кажется, что вложенная вечность снова вызывает ошибку. Интересно, что это определение навсегда (заимствованное из Control.Monad) вызывает ошибку:

forever a   = a >> forever a

В то время как следующее определение работает без проблем:

forever a   = a >>= \_ -> forever a

В операторе >> есть что-то подозрительное, поскольку этот код будет эквивалентным.

Ответ 1