鐵人檔案
Monoid 我們先來看一下幾個 expression (4 * 2) * 1 4 * (2 * 1) ([1] ++ [2,3]) ++ [] [] ++...
Maybe 在 Haskell 中 Maybe a 也是能具有 Monoid 特性的。 instance Monoid a => Monoid (Mayb...
在看 monad 相關的文章時不時想到一個剛開始學 FP 時聽過的笑話 「a monad is just a monoid in the category of...
I/O Monad 雖然 Haskell 是一個純粹的 FP 語言，這意味著它的函數更接近數學意義上的「函數」，也就是我們所說的 pure function 。...
List Monad 在講 list monad 前我們先回憶一下 applicatives，我們知道 <*> 是可以把一個在 context 裡的...
Monad Law 畢竟 monad 是來自於數學上的概念，所以就算某個type 實作了 Monad 的 instance ，嚴格定義上我們也不能說它是 m...
newtype 大概在之前的 monoid 的時候有提到過這個語法。 getProduct $ Product 1 `mappend` Product 2 `...
Writer Monad 不知道讀者有沒有想過，如果今天我想要把每一步 monadic 操作的過程都有 log 紀錄方便我們 debug 的話要怎麼做？（用 p...
State Monad 可能有讀者看到 state monad 這個名字時可能會想，Haskell 這樣的語言允許我們擁有 state 這種感覺應該是 muta...
終於寫到最後一天了，今天就輕鬆一點吧xD。 首先感謝所有讀者，在開賽前就有心理準備這個題材本來就是屬於比較冷門領域所以應該沒什麼人關注，本來以為可能完全沒有回饋...