[Haskell-cafe] What does it mean that objects are fixpoints? (OO'Haskell)

Manuel Simoni msimoni at gmail.com
Tue Sep 15 11:14:59 EDT 2009


I'm trying to wrap my head around OO'Haskell's notion of objects as fixpoints.

Is OO'Haskell's use of mfix simply a use of something like a monadic
Y-combinator to give the object access to its own "identity"?


More information about the Haskell-Cafe mailing list