Tag Archives: 單子

單子 (monad) 入門（二）讀取單子

By Shin | Published: 十一月 14, 2009

一個算式的語意成了「拿一個環境，傳回一個整數」的函數。的確，既然算式算成的那個整數必須由環境決定，算式其實不能看作一個數子，而應該是從環境到整數的函數才對。

By Shin | Published: 十一月 8, 2009

Haskell 唯一的大錯誤，Simon Peyton Jones 說，是「單子」這冰冷生硬的數學名詞把人嚇跑了。我們應該把它取名為「暖毛毛（warm, fuzzy thing）」之類的。

By Shin | Published: 十一月 8, 2009

函數 return 把一個型別為 a 的值「提升」到 m a；x >>= f 大致上的意思是執行 x 代表的運算，如果得到一個型別是 a 的值，把他傳給 f. 結果的型別是 m b.