Paul Hudak wrote:
Actually Brian's intuition is right on target. One way to define an infinite list is as the limit of an infinite chain of partial lists (which, in domain theory, is essentially how all elements are defined).
as the answer to Brian Hulley conjecture criticized by myself:
Couldn't an infinite list just be regarded as the maximum element of the (infinite) set of all finite lists?
If you are right, then YOU JUST PROVED THE EXISTENCE OF GOD.
Perhaps his intuition is right, but there are fundamental differences - A. Between the chain of partial lists and the set of finite lists B. Between a limit and the maximum element of a set. OK, I think that this subject matured enough to rest in peace... Jerzy Karczmarczuk _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
