function - 在 Haskell 中组合两个错误引发函数

Question

我得到的问题是这样说的:

In a similar way to mapMaybe, define the function: composeMaybe :: (a->Maybe b) -> (b -> Maybe c) -> (a-> Maybe c) which composes two error-raising functions.

类型 Maybe a 和函数 mapMaybe 是这样编码的:

data Maybe a = Nothing | Just a

mapMaybe g Nothing = Nothing
mapMaybe g (Just x) = Just (g x)

我尝试使用这样的组合:

composeMaybe f g = f.g

但它不编译。

有人能指出我正确的方向吗？

Answer 1

您正在寻找的工具已经存在。 Control.Monad 中有两个 Kleisli 组合运算符。

(>=>) :: Monad m => (a -> m b) -> (b -> m c) -> a -> m c
(<=<) :: Monad m => (b -> m c) -> (a -> m b) -> a -> m c

当 m = Maybe 时，composeMaybe 的实现就很明显了:

composeMaybe = (>=>)

查看 (>=>)的定义,

f >=> g     = \x -> f x >>= g

如果你想用你自己的方式来考虑它，你可以内联

composeMaybe f g x = f x >>= g

或者可以写成 do -糖为:

composeMaybe f g x = do 
    y <- f x
    g y

一般来说，我会坚持使用 (>=>) ，它的存在有很好的理论理由，因为它提供了最清晰的方式来陈述 monad 定律。