[<<][compsci][>>][..]

Mon Aug 1 21:22:42 CEST 2011

do notation algebra

  let_ var body = do
    v <- var
    body $ return v

Why is the above not equivalent to below?

  let var body = body var


The monad I'm using is a CPS monad used to implement sharing.

[Reply][About]

[<<][compsci][>>][..]