[Haskell-cafe] Infinite lists and lambda calculus

Greg Woodhouse 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
>                   oo
> 	fix f = lub f^i(_|_)
>                  i=0
> 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
to address.

> 	-- Lennart

Gregory Woodhouse  <gregory.woodhouse at sbcglobal.net>

"Interaction is the mind-body problem of computing."

--Philip Wadler

More information about the Haskell-Cafe mailing list