haskell中monad的等价性是什么？

Question

假设我有一个调用其他函数的函数

fun1 x1 x2 = do
    a <- fun2 x1
    b <- fun3 x2
    return [a:b]

此功能是否有简短的表示。

Answer 1

您可以使用绑定运算符

扩展do notation

fun2 x1 >>= \a -> fun3 x2 >>= \b -> return [a:b]

但这对我来说似乎不太清楚......

（根据@ sepp2k的评论，请注意该示例将编译，但可能没有您想要的类型）