自行實作 Apply | 點燈坊

Monad 必須實現 Functor、Apply、Applicative 與 Chain，其中學習 Apply 是必經過程。

Version

Fantasy Land 5.0.0

Fantasy Land

Apply 基於 Functor，也就是 Functor 所有特性 Apply 皆具備。

Apply

import { compose, map, ap, inc } from 'ramda'

let Apply = x => {
  let _x = x

  let map = f => Apply (f (_x))

  let ap = x => x.map (f => f (_x))

  let getValue = _ => _x

  return {
    map,
    ap,
    getValue
  }
}

let getValue = x => x.getValue ()

let data = Apply (1)
let inc_ = Apply (inc)

compose (getValue, map (inc)) (data) // ?
compose (getValue, ap (data)) (inc_) // ?

實現 Apply 需滿足 2 個 typeclass：

• Functor：實現 map 將 Functor 與 function 綁定
• Apply：實現 ap 將 Apply 與包進 Apply 的 function 綁定

第 5 行

let _x = x

相當於 constructor 將 x 值存進 _x 內。

第 6 行

let map = f => Apply (f (_x))

Apply 必須實現 Functor。

根據 Fantasy Land 定義：

fantasy-land/map :: Functor f => f a ~> (a → b) → f a → f b

Object 必須有 map 才是 Functor。

將 Object 內部 _x 透過傳入 f 運算後，使用 Apply 包成新 Apply 回傳。

第 8 行

let ap = x => x.map (f => f (_x))

根據 Fantasy Land 定義：

fantasy-land/ap :: Apply f => f a ~> f (a -> b) -> f b

Object 必須有 ap 才是 Apply。

從傳入 Apply 取出 f 後，將 Object 內部 _x 傳入 f 運算後，改變 Apply 回傳。

由於 ap 需呼叫 map 取得 f，因此 Apply 必須先實現 Functor 的 map

10 行

let getValue = _ => _x

使用 getValue 取出 Apply 內部 value。

getValue 並非 Fantasy Land 所要求，只是方便取出 Object 內部 value

19 行

let getValue = x => x.getValue ()

提供 free function 方便使用：

• getValue：呼叫 Apply 的 getValue

21 行

let data = Apply (1)
let inc_ = Apply (inc)

• data 為 Apply
• inc_：將 inc 包進 Apply

24 行

compose (getValue) (map (inc)) (data) // ?
compose (getValue) (ap (inc_)) (data) // ?

• 使用 Ramda 的 map 將 Apply 與 inc 綁定，確認自行建立的 Apply 符合 Fantasy Land 規格
• 使用 Ramda 的 ap 將 Apply 與包進 Apply 的 function 綁定，確認自行建立的 Apply 符合 Fantasy Land 規格

Conclusion

• Apply 的 ap 因為會用到 map 取得傳入 Apply 的 function，因此 Apply 也必須實現 Functor

Reference

Fantasy Land, Apply