What does it mean that objects are fixpoints? (OO'Haskell)
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"? Thanks, Manuel
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"?
I don't remember the details exactly, but isn't it to support open recursion for inherited/overridden methods? http://etymon.blogspot.com/2006/04/open-recursion-definition.html Regards, Sean
On Tue, Sep 15, 2009 at 10:14 AM, Manuel Simoni <msimoni@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'.
participants (3)
-
Derek Elkins -
Manuel Simoni -
Sean Leather