因爲”(+3)”這個函數是處理值的（簡稱”值函數”），而不是處理數據類型的。 最初我是通過Javascript瞭解異步編程方式，回過頭來一看，其Promise也是一個Monad，然而Future概念也收到Promise裏去了。 我們站在haskell的環境中，首先明確數據類型是有值的，例如Int這個數據類型從數量上講有無限個值，可能的值：3,7,999… 而且真正圖解monad部分的馬桶搋子也沒有放過來。。。 結果絕大部分篇幅講functor和Applicative。
數據類型就是對值的一種封裝，不僅包括值本身，還包括相關的屬性和方法。 上圖就是2的封裝，從此2就不是一個單純的值，而是一種數據類型的實例，只能在數據類型的場景（context）中使用。 而bind二元操作，對應於Promise的then接口，傳遞一個動作執行，返回一個Promise，從而能將各個Promise串起來。 從博主的描述看monad只是個概念，其他語言使用都可以實現並且有相關的庫（但不會提及這個術語），樓上提到的flatMap是一個經典使用場景。 原文中是把數值封裝到Maybe這樣的特殊數據類型裏。
monad楓之谷: 文章被以下專欄收錄
這個表達式的類型是IO ()，對輸入的數乘以二操作也被隔離在IO Monad的世界裏了，普通函數沒法直接拿到IO世界裏的值，必須得將函數lift到這個世界裏與其共舞。 同樣的由於Monad確定了控制流，保證了按代碼順序執行，先getLine後print。 終於寫到最後了，其實我們用了很久的Monad，不同的Monad背後高度一致性，將控制流封裝起來，從而提高代碼的可讀性。
- 而在現實世界裏，很多東西就必須是有順序的，比如輸入輸出。
- 上圖就是2的封裝，從此2就不是一個單純的值，而是一種數據類型的實例，只能在數據類型的場景（context）中使用。
- 前者用於構造Maybe Monad，後者用於串聯一系列Maybe類型，避免寫一堆if/match、取值語句，況且從Maybe取出其不存在的值是有可能拋異常的。
- 好在Monad提供了一種友好的方式，畢竟程序猿更加能接受的是符合直覺的串行代碼，而不是回調嵌套代碼。
- 有時候我們需要對每一步操作進行日誌記錄，簡單起見，但是不想每次操作後進行日誌拼接工作，若抽象成Monad，可以讓bind幫我們完成這個操作，這節我打算用Javascript來快速實現個原型，方便熟悉Javascript的同學理解。
- @corper，誰告訴你Monad可以簡化IO操作的？
應用多了回頭理解抽象的Monad概念，其實也不是那麼難了，之後理解這類概念就更加得心應手了，這也是抽象之美。 （+3）是不完全函數，它是某一種函數類型，它的輸入和輸出都有類型約束—Num這個類型類（Num類型類來自於haskell的概念），這個類型類有許多實例類型，如：Int，Float等，亦即，輸入輸出的數據類型可以是Num的實例類型。 那麼Future做成一個Monad會怎麼樣？ Unit操作就是通過Promise得到Future，而bind二元操作就是輸入一個Future和動作，該動作可以拿到未來的值T，進行處理後返回一個新Future，這樣就能將各個Future串起來。 @corper，誰告訴你Monad可以簡化IO操作的？
monad楓之谷: 主流語言的常見Monad
Monad最大的作用就是在pure 函數式編程中處理副作用。 你見過C，JAVA之類的命令式語言提過Monad的概念嗎？ 只有Haskell，只要學Haskell就逃不了理解Monad，因爲它是pure的。 上圖的”(+3)”就是一個函數，對輸入的值加上3，再輸出。 有時候我們需要對每一步操作進行日誌記錄，簡單起見，但是不想每次操作後進行日誌拼接工作，若抽象成Monad，可以讓bind幫我們完成這個操作，這節我打算用Javascript來快速實現個原型，方便熟悉Javascript的同學理解。 在FP中一切都是純函數，那麼對於IO這種擁有副作用的功能，怎麼融入到FP的世界中去呢？
- 上圖的”(+3)”就是一個函數，對輸入的值加上3，再輸出。
- 有了IO Monad包裹了對IO的操作動作，副作用被約束在Monad中，同時也提供了與外界環境交互的邊界。
- 還是不理解，如果只是爲了連續操作，函數連續嵌套調用不就行了嗎？
- Unit操作就是通過Promise得到Future，而bind二元操作就是輸入一個Future和動作，該動作可以拿到未來的值T，進行處理後返回一個新Future，這樣就能將各個Future串起來。
- Monad最大的作用就是在pure 函數式編程中處理副作用。
- 丟了Maybe，跟“數據類型”相關的都不太好理解了。
而在現實世界裏，很多東西就必須是有順序的，比如輸入輸出。 monad楓之谷2025 於是Haskell決定用monad去模擬這種操作。 Monad來源於範疇論，他並不解決副作用問題本身，而是對此類問題提供了抽象。 首先，取出它們各自的值，一個是函數，一個是數值；然後，使用函數處理數值；最後，將函數的返回結果再封裝進數據類型。
monad楓之谷: 文章被以下專欄收錄
它接受”值函數”和數據類型的實例作爲輸入參數，使用”值函數”處理後，再輸出數據類型的另一個實例。 既然Future是對未來的預期，當下可能沒有值，自然拿不到值，但是我們可以通過bind操作將處理值的動作串起來帶入Future的世界裏，將來某個時間點執行這個動作，這也是以同步方式寫異步代碼！ FP的Monad概念完美解決了傳統語言異步編程需要掛各種回調的難處。 好在Monad提供了一種友好的方式，畢竟程序猿更加能接受的是符合直覺的串行代碼，而不是回調嵌套代碼。 monad楓之谷2025 這兩個操作可以這樣理解，定義個Monad類型用於包裹另一個類型T，同時定義一個二元操作，左邊對象是個 monad楓之谷 Monad，右邊對象是個函數接受被包裹的 T 值並返回一個 Monad對象，這樣就能不斷通過這個二元操作串起來。
monad楓之谷: 主流語言的常見Monad
丟了Maybe，跟“數據類型”相關的都不太好理解了。 我看文章，一直不知道3爲什麼不是數據類型，看了原文才知道，不是“數據類型”，而是“maybe數據類型”。 前者用於構造Maybe Monad，後者用於串聯一系列Maybe類型，避免寫一堆if/match、取值語句，況且從Maybe取出其不存在的值是有可能拋異常的。 Monad概念最初來自於範疇論，後來引入進函數式編程語言，由函數式編程發揚光大，漸漸滲透到其他主流語言中。 monad楓之谷 非常感謝，這篇文章終於讓我明白了monad。 之前找了很多文章，也一直未明白，不過這個monad的學習之前，有一個cps的概念可能會更好一些。
monad楓之谷: 主流語言的常見Monad
有了IO monad楓之谷 Monad包裹了對IO的操作動作，副作用被約束在Monad中，同時也提供了與外界環境交互的邊界。 衝(+3)函數是用來處理值的，和“值函數”私加引號這些上下文語句，阮老師所講的值函數應該是普通意義上“值函數”，亦即，函數在運行時就是用來處理值的,而（+3）可能處理的是Int類型的值。 還是不理解，如果只是爲了連續操作，函數連續嵌套調用不就行了嗎？ 簡單說，Monad就是一種設計模式，表示將一個運算過程，通過函數拆解成互相連接的多個步驟。 你只要提供下一步運算所需的函數，整個運算就會自動進行下去。 它不是值與值的運算，也不是值與數據類型的運算，而是數據類型與數據類型的運算。