由伴隨函子生出單子 — From Adjoint Functors to Monads
「一對伴隨函子可以生出單子 (monad)」對一些人來說是「民眾知識」等級的。因為最近的一些研究,我得把相關知識整理一下,順便註記於此。
「一對伴隨函子可以生出單子 (monad)」對一些人來說是「民眾知識」等級的。因為最近的一些研究,我得把相關知識整理一下,順便註記於此。
一個算式的語意成了「拿一個環境,傳回一個整數」的函數。的確,既然算式算成的那個整數必須由環境決定,算式其實不能看作一個數子,而應該是從環境到整數的函數才對。
Haskell 唯一的大錯誤,Simon Peyton Jones 說,是「單子」這冰冷生硬的數學名詞把人嚇跑了。我們應該把它取名為「暖毛毛(warm, fuzzy thing)」之類的。
函數 return 把一個型別為 a 的值「提升」到 m a;x >>= f 大致上的意思是執行 x 代表的運算,如果得到一個型別是 a 的值,把他傳給 f. 結果的型別是 m b.