<Haskell函数式编程入门>-第12章代码走读

247页代码

247页
x<- left' i 
==x<- writer(4-1,"move left\n1")

y <- left' (writer(4-1,"move left\n1"))    -->  (Writer(x,v)) >> f = let...

y <- left'(Writer(3,"move left\n1"))

y <-  let(Writer(y,v')) = left' 3 in Writer(y,"move left\n1" 'mappend' v')

y <- let(Writer(y,v')) = writer(3-1,"move left\n2") in Writer(y,"move left\n1" 'mappend' v')

y <-  let(Writer(y,v')) = Writer(2,"move left\n2") in Write(y,"move left\n1" 'mappend' v')
y <- Writer(2,"move left\n1" 'mappend' "move left\n2")

runWriter $ move' 4
= runWriter Writer(2,"move left\n1move left\n2")
= (2,"move left\n1move left\n2")