Haskell AMP

Posted on Disqus:

在拜讀《Learn You a Haskell for Great Good!》一書中，介紹 Monad 定義時，提到可以不用下 Applicative 的類別約束，那是因為此書範例仍停留在 GHC 6.8.2 版本，但資訊界可是日新月異，在這推陳出新的時代，早已行不通了！

現在來看一下失敗案例：

1
2
3
4
5
6
7
8
9
10
11
data Maybe' a = Nothing' | Just' a deriving(Show)

instance Functor Maybe' where
    fmap _ Nothing'  = Nothing'
    fmap f (Just' x) = Just' (f x)

instance Monad Maybe' where
    return x = Just' x
    Nothing' >>= _ = Nothing'
    (Just' x) >>= f = (f x)

按書中方式，定義 Monad 時不去繼承 Applicative，將無法編譯成功，出現下列錯誤訊息：

1
2
3
4
5
foo.hs:10:10: error:
    • No instance for (Applicative Maybe')
        arising from the superclasses of an instance declaration
    • In the instance declaration for ‘Monad Maybe'’
Failed, modules loaded: none.

根據 Functor-Applicative-Monad Proposal ，原來早在 GHC 7.10 已接受此提議，所以改成一定要宣告 Applicative ，而且 Monad 的 return 已經被 Applicative 的 pure 取代，可以不用寫了！

這本書已經有點年紀，顯得需要與時並進的地方。