[Haskell-cafe] least fixed points above something

Martijn van Steenbergen martijn at van.steenbergen.nl
Fri Mar 20 02:43:49 EDT 2009

Luke Palmer wrote:
> Well, it's probably not what you're looking for, but to remain true to 
> the domain-theoretical roots of "fix", the "least fixed point above" can 
> be implemented as:
> fixAbove f x = fix f `lub` x

How can this be right if f is never applied to x? Or maybe you're trying 
to do something other than I think you are, in which case: sorry for the 
confusion. :-)


More information about the Haskell-Cafe mailing list