作者: CindyLinz (Cindy Wang) 在 PTT 的推文記錄

• +2 Re: [問題] Free Monad 是怎麼來的？ - PLT 板

  作者: xcycl (XOO) 78.151.174.221 (英國) 2013-10-30 08:50:40
  推 CindyLinz: X2 的 x, y 都是從 X1 取, 還是一個從 X0 取, 一個從X1?我覺得這個結構看起來跟 church number 有點像說 ^^
  church number 作加法時就是把 succ 丟進去; 乘法是把add 丟進去.. 1F 10-30 20:20