29 Oct
2009
29 Oct
'09
2:27 p.m.
| Analogously, is | | | > do { a <- getChar | | > ; rec { b <- f c | | > ; c <- g b } | | > ; putChar c | | > ; return b } | | equivalent to | | | > do { a <- getChar | | > ; rec { b <- f c | | > ; c <- g b } in do | | > { putChar c | | > ; return b } No, there is no rec { ss } in e form; nor should there be since rec { ss } is monadic. | Is | | | > do { rec { b <- f c | | > ; c <- g b } | | > ; putChar c | | > ; return b } | | equivalent to | | | > rec { b <- f c | | > ; c <- g b } in do | | > { putChar c | | > ; return b } No. Same answer. Simon