定義單子運營商

Question

在Haskell的單子，我可以很容易地定義操作(>=>)爲：

(>=>) :: Monad m => (a -> m b) -> (b -> m c) -> a -> m c 
f >=> g = \x -> f x >>= g 

我也知道，(>>=)可以使用(>=>)表示：讓我們把(>>=)爲(..)：

(..) :: Monad m => m a -> (a -> m b) -> m b 
m .. k = m >=> \_ -> k 

然而有些事情是不正確的......有人能指出什麼嗎？

Answer 1

使用常數函數（即\_ -> -- etc.）將函數作爲非函數參數的想法，因此您可以將函數傳遞給(>=>)的想法是完全正確的。只有兩個問題。首先，你是做給了錯誤的說法，因爲一個是不是一個功能是m：

GHCi> :t \m k -> (\_ -> m) >=> k 
\m k -> (\_ -> m) >=> k :: Monad m => m b -> (b -> m c) -> a -> m c 

其次，(>=>)給你（在正上方的演示a -> m c類型）的功能。您必須將其應用於某些內容才能獲得與(>>=)匹配的結果類型。由於這樣的說法是不相關的（你最終將其送入一個常數函數），你可以只使用()：

GHCi> :t \m k -> ((\_ -> m) >=> k)() 
\m k -> ((\_ -> m) >=> k)() :: Monad m => m b -> (b -> m c) -> m c 

就是這樣。我覺得稍微漂亮使用const功能，而不是寫\_ ->，所以我會寫：

​​

Answer 2

的解決方案如下：

(..) :: Monad m => m a -> (a -> m b) -> m b 
m .. k = 
    (const m >=> k) undefined 

使用const我們提升的操作m a到whatever -> m a。這個提升的版本並沒有給出一個該死的，我們傳遞給它的，所以它可能是undefined。