mno2
Haskell 趣學指南

Updated 2 years ago

nobodyzxc (@nobodyzxc) started discussion #30

a year ago · 0 comments

Open

如果 g 的型態是 a -> b 且 f 的型態是 b -> c,我們可以把他們合成一個型態是 a -> c 的新函數。所以中間的參數都有自動帶過。現在假設這兩個函數是 monadic function,也就是說如果他們的回傳值是 monadic function?如果我們有一個函數他的型態是 a -> m b,我們並不能直接把結果丟給另一個型態為 b -> m c 的函數,因為後者只接受型態為 b 的普通值。然而,我們可以用 >>= 來做到我們想要的事。有了 >>=,我們可以合成兩個 monadic function:

A Fistful of Monad (Edit this file)

然而,我們可以用 `>>=` ... 之後的 >>= 都應更正為 <=<。

No description provided.

No comments on this discussion.


to join this conversation on GitBook. Already have an account? Sign in to comment
Notifications

You’re not receiving notifications from this thread.


1 participant