[Haskell-cafe] Infinite lists and lambda calculus
gregory.woodhouse at sbcglobal.net
Fri Nov 18 19:20:48 EST 2005
--- Lennart Augustsson <lennart at augustsson.net> wrote:
> It computes the fix point which you can also define as
> fix f = lub f^i(_|_)
> where f^i is f iterated i times. Is that a definition
> of fixpoint that makes you happier?
Believe it or not, yes. My background is in mathematics, so something
looking more like a fixed point of a continuous map seems a lot more
> How much domain theory have you studied? Maybe that's where you can
> find the connection you're missing?
None. But it seems clear that this is a deficit in my education I need
> -- Lennart
Gregory Woodhouse <gregory.woodhouse at sbcglobal.net>
"Interaction is the mind-body problem of computing."
More information about the Haskell-Cafe