相关疑难解决方法(0)

基于这个问题,在此代码中

data Promise a b =  Pending (a -> b) | Resolved b | Broken

instance Functor (Promise x) where
    fmap f (Pending g) = Pending (f . g)

如果

g :: a -> b

然后

Pending g :: Promise a b

也

f :: b -> c

因为存在f . g.

这意味着

Pending (f . g) :: Promise a c`.

包起来

fmap :: (b -> c) -> Promise a b -> Promise a c

现在fmap …