将非monadic函数绑定到monad

Question

也许这是一个经常被问到的问题，但我没有找到答案。

monad的绑定定义如下：

(>>=)  :: m a -> (a -> m b) -> m b

目前我正在这样做：

foo :: Int
foo = sum $ ((*11) . (+2)) `map` [1..4]

我想实现这样的语法，因为我认为它更具可读性：

[1..4] >>= (+2) >>= (*11) >>= sum

我不知道正确的运算符而不是>>= 。

此外：foo是198。

Answer 1

在这种情况下最可读的当然是

   sum [ (x+2)*11 | x<-[1..4] ]

但如果你想要它没有点，没有额外的parens，只需用infix fmap运算符重写原始行：

   sum $ (*11) . (+2) <$> [1..4]

如果您只想转动订单，可以更换. 使用来自Control.Category的等效翻转运算符，以及带翻转版本的 $ ， 例如来自lens

   [1..4] & fmap((+2)>>>(*11)) & sum

再说一遍，如果你追求数学优雅并希望它“像monad一样工作”，这是不可能的，因为这里没有任何monadic。 然而，你可以争辩说， sum是一个Cokleisli箭头（不可定义，在Haskell 98中） Monoid -limited列表comonad。 我们可以通过NonEmpty comonad来估算这个并写

    extract $ fromList [1..4] =>> (extract>>>(+2)>>>(*11)) =>> sum.toList

但这太荒谬了。