haskell - 有没有办法在 do 符号中捕获延续？

Question

由于以下 do 块:

do
  x <- foo
  y <- bar
  return x + y

脱糖为以下形式:

foo >>= (\x -> bar >>= (\y -> return x + y))

不是 \x -> ...和 y -> ...实际上在这里延续？

我想知道是否有办法在 bind 的定义中捕获延续，但我找不到正确的类型。 IE:

data Pause a = Pause a | Stop

instance Monad Pause where
  return x = Stop
  m >>= k = Pause k         -- this doesn't work of course

现在我尝试混淆这些类型:

data Pause a = Pause a (a -> Pause ???) | Stop
                       ------- k ------

但这也行不通。有没有办法捕获这些隐式延续？

顺便说一句，我知道 Cont monad，我只是在试验和尝试一些东西。

Answer 1

好吧，我不太确定，但让我提出一些想法。我不太确定它是什么
应该意味着捕捉延续。例如，您可以捕获整个do结构体中的块:

{-# LANGUAGE ExistentialQuantification #-}

import Control.Monad

data MonadExp b = Return b | forall a. Bind (MonadExp a) (a -> MonadExp b)

instance Monad MonadExp where
    return x = Return x
    f >>= g = Bind f g

例如:

block :: MonadExp Int
block = do
    x <- return 1
    y <- return 2
    return $ x + y

instance Show (MonadExp a) where
    show (Return _) = "Return _"
    show (Bind _ _) = "Bind _ _"

print block
>> Bind _ _

然后评估整个事情:

finish :: MonadExp a -> a
finish (Return x) = x
finish (Bind f g) = finish $ g (finish f)

print $ finish block
>> 3

或逐步通过它并查看零件

step :: MonadExp a -> MonadExp a
step (Return _) = error "At the end"
step (Bind f g) = g $ finish f

print $ step block
>> Bind _ _
print $ step $ step block
>> Return _

好吧，现在我考虑得更多，这可能不是你要问的。但
也许它会帮助你思考。