haskell - 将 Scheme call/cc 翻译成 Haskell callCC

Question

让我们考虑突破一个非终止的折叠:

(call/cc (lambda (folded)
  (stream-fold
    (lambda (acc v)
      (if (< v 5)
        (cons v acc)
        (folded acc)))
    '()
    (in-naturals 0))))
; returns '(4 3 2 1 0)

上述代码的 Haskell 等效项是

callCC $ \folded -> foldl (\acc v -> if v < 5 then v:acc else folded acc) [] [0..]

此代码无法编译并提示无法在表达式 folded acc 中构造无限类型。我已经知道如何在 Y 组合器等情况下消除这种错误，但同样的方法似乎在这里不起作用。这种情况的正确方法是什么？

Answer 1

是的;作为 j。亚伯拉罕森说，

import Control.Monad.Trans.Cont
import Control.Monad

bar :: Cont r [Int]
bar = callCC $ \folded ->
    foldM (\acc v -> do
        when (v >= 5) $ folded acc
        return $ v : acc) [] [0..]

thing = runCont bar id

作品。