嘗試實施（>> =）函數以創建自定義monad變換器時出現錯誤

Question

我正在嘗試爲未來的項目創建monad變換器，但不幸的是，我的Monad typeclasse的實現（>> =）功能不起作用。

首先，這裏是底層的單子的實現：

newtype Runtime a = R { 
    unR :: State EInfo a 
} deriving (Monad) 

這裏，單子typeclasse的實現是由GHC自動完成（使用GeneralizedNewtypeDeriving語言編譯）。 該單子轉換被定義爲這樣：

newtype RuntimeT m a = RuntimeT { 
    runRuntimeT :: m (Runtime a) 
} 

的問題來自我實例化的單子typeclasse的（>> =）功能的方式：

instance (Monad m) => Monad (RuntimeT m) where 
    return a = RuntimeT $ (return . return) a 
    x >>= f = runRuntimeT x >>= id >>= f 

我看到它的方式，所述第一個>>=運行在底層m monad中。因此，runRuntimeT x >>=返回Runtime a類型的值（對吧？）。然後，下面的代碼id >>=應返回類型爲a的值。該值是傳遞給類型爲f :: (Monad m) => a -> RuntimeT m b的函數f的值。

問題在於類型問題：f函數的類型與（>> =）函數所需的類型不匹配。我可以讓這個連貫一致嗎？我可以明白爲什麼這不起作用，但我無法將它變成功能性的東西。

編輯：錯誤消息：

Core.hs:34:4: 
    Occurs check: cannot construct the infinite type: m = RuntimeT m 
    When generalising the type(s) for `>>=' 
    In the instance declaration for `Monad (RuntimeT m)' 
Failed, modules loaded: none. 

謝謝你的幫助，不要猶豫，糾正任何缺陷在我的消息，
查理P.

Answer 1

從裏德巴頓說的關於StateT的後續內容 - 下面是您將如何使用StateT定義RuntimeT的方法。然後，可以使用身份monad來簡單定義montead Runtime。

newtype RuntimeT m a = R { 
    unR :: StateT EInfo m a 
} 

type Runtime = RuntimeT Identity 

instance Monad m => Monad (RuntimeT m) where 
    return = R . return 

    (R m) >>= f = R (m >>= unR . f) 

Answer 2

通常StateT s m單子發送a到s -> m (a, s)，但您正在使用m (s -> (a, s))。我不認爲後者形成一個普通s monad。你確定你不只是想用StateT？

---

這裏的原因，我不認爲a → m (s -> (a, s))是一個單子：要寫>>=我需要一個函數，它的類型

m (s -> (a, s)) 
a -> m (s -> (b, s)) 

參數和返回類型的值

m (s -> (b, s)) 

結果的「效應」（即fmap (const())）必須是第一個參數的「效應」（因爲我們沒有辦法g等a傳遞給第二個參數。由於m僅出現在結果類型的外部，因此我們無法使用第二個參數來處理任何事情，因此將無法擺脫它引入的m。