恭喜大家跟我一樣到達最後一系列的大魔王魔幻領域 Monad! 我第一次聽到 Monad 腦中只浮現這個 (OS. 好想去迪士尼當工程師可惜北加沒有迪士尼 @@)

不知道是不是 javaScript 語言特性的關係，我找了好多資料對 Monad 的解釋都不盡相同 XD，先來看看完等於沒看的維基百科解釋

Monad is an abstraction that allows structuring programs generically. Monads achieve this by providing their own data type (a particular type for each type of monad), which represents a specific form of computation, along with one procedure to wrap values of any basic type within the monad (yielding a monadic value) and another to compose functions that output monadic values (called monadic functions). -wiki

下面是一些比較口語化的定義

A way to wrap a value into a context, and a way to unwrap the value from the context

In functional programming, a monad is a structure that represents computations defined as sequences of steps. A type with a monad structure defines what it means to chain operations, or nest functions of that type together

Monad is a type that can flat the functor

整理一下成中文就是(若有錯誤麻煩告訴我)

Monad 常被比喻為洋蔥，其實也是一種設計模式，表示一個運算的過程，通過個別函式拆解後運算再連接這樣的步驟

那為何比喻成洋蔥，原因是常在處理包很多層的狀況讓人忍不住想哭，但經過一些方法達到函式拆解後運算再連接，就是 Monad 所做的 (那我覺得應該要叫 "再也不用被洋蔥氣哭神器" 啊)

實際上 Monad 跟前幾篇講到的 Functor 習習相關，不過這篇盡量不提程式碼，先用圖讓大家了解 Monad 這個運算過程吧，開始之前還是要先從看到膩的 Function 開始說

Function

Function 很像水管，放入一個值，輸出一個值

const func = intput => intput - 1;
func(3); // 2

也可以很多 Function 接起來一起使用

const func1 = intput => intput - 1;
const func2 = intput => intput + 3;
func2(func1(3)); // 5

const transformToBox = intput => Effect(intput);
transformToBox(3); // Effect(3)

(↑這個例子毫無意義，不過只是為了示範好懂用啦)

現在我們要定義一種函式，就是輸入輸出都是 Data Type

實際上是這樣運作的

這些運算連起來，就叫做 Monad， Monad 是一種設計模式，表示一個運算的過程，通過個別函式拆解後運算再連接這樣的步驟，只要提供下一個需要運算的函式，運算就會自動進行下去

參考文章

• 图解 Monad
• [Day07] Monad
• Functors, Applicatives, And Monads In Pictures

如有錯誤或需要改進的地方，拜託跟我說。
我會以最快速度修改，感謝您

歡迎追蹤我的部落格，除了技術文也會分享一些在矽谷工作的甘苦。