[<<][meta][>>][..]
Tue Dec 6 14:41:04 EST 2011

Missing _letrec for Value

The Y combinator seems to not work with the monadic types.

Is this it?  Non-monadic:

  _letrec open body = closed where
    closed = open closed

Monadic:

  _letrec open body = do
    closed <- mclosed
    body closed
    where
      mclosed = do
        closed <- mclosed
        open closed


Simplified:

  _letrec open body = app body mfix where
    mfix = app open mfix
    app f mfix = do {fix <- mfix ; f fix}



[Reply][About]
[<<][meta][>>][..]