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

Derek Elkins derek.a.elkins at gmail.com
Tue Sep 15 18:10:50 EDT 2009

On Tue, Sep 15, 2009 at 10:14 AM, Manuel Simoni <msimoni at gmail.com> wrote:
> Hello!
> 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 or less, yes.  To define 'self' or 'this'.

More information about the Haskell-Cafe mailing list