>>=穷人并发单子的实现

Question

import Control.Monad

data Concurrent a = Concurrent ((a -> Action) -> Action)

data Action 
    = Atom (IO Action)
    | Fork Action Action
    | Stop

instance Monad Concurrent where
    (Concurrent ma) >>= f = Concurrent (\x -> ma(\y -> "Something return a Action")) 
    return x = Concurrent (\c -> c x)

Answer 1

您要查找的定义如下所示

Concurrent h >>= k  =  Concurrent (\f -> h (\x -> runConcurrent (k x) f))

我们怎么到那儿的？像往常一样，我们让类型做工作。：）

让我们首先介绍一个helper函数：

runConcurrent                 :: Concurrent b -> (b -> Action) -> Action
runConcurrent (Concurrent h)  =  h

Concurrent h >>= k  =  ...

Concurrent h >>= k = Concurrent ...

Concurrent h >>= k  =  Concurrent (\f -> ...)

Concurrent h >>= k  =  Concurrent (\f -> h ...)

因此，接下来我们需要为h提供一个类型为a->action的参数。这又是一个函数类型，所以我们再加入一个λ：

Concurrent h >>= k  =  Concurrent (\f -> h (\x -> ...))

因此，我们有X::a，并且需要构造action类型的主体。我们可以用a类型的值做什么？我们可以将它提供给函数k。这为我们提供了一个concurrent b类型的值，然后我们可以将该值传递给帮助器函数runconcurrent:

Concurrent h >>= k  =  Concurrent (\f -> h (\x -> runConcurrent (k x) ...))

这为我们提供了一个(b->Action)->Action类型的函数，并提供f作为参数来完成以下工作：

Concurrent h >>= k  =  Concurrent (\f -> h (\x -> runConcurrent (k x) f))