綁定和monad堆棧

-4

type IM = StateT (EnvFun, EnvEval) (ReaderT EnvEval (ErrorT String IO)) 


i :: Stmts -> IM 
i Statements s (Statements e) = interpeteStmt s >>= \m ...

而且我有一個理解問題。什麼是m。是的，這是，monad返回。但是哪個monad「重要」。我不能理解，因爲這個monad棧讓我很煩惱.e綁定和monad堆棧

來源

2016-04-26 Gilgamesz

'interpeteStmt'類型是什麼？ – Lee

請花點時間閱讀https://stackoverflow.com/help/mcve - 這裏有很多類似的問題，並且所有人都將從您學習如何提供足夠的信息中受益匪淺 – Carsten

m這裏是一個很差的變量名。 >>=的類型爲m a -> (a -> m b) -> m b，因此i正文中的變量m綁定到類型爲a的值。什麼類型的a取決於什麼interpeteStmt返回。

來源

2016-04-26 13:19:01 chepner

interpeteStmt返回StateT（EnvFun，EnvEval）（ ReaderT EnvEval（ErrorT字符串IO）） – Gilgamesz

綁定和monad堆棧

回答

相關問題