I wrote: Yitzchak Gale wrote: >> So why not make the laziness available >> also for cases where "1 - 2 == 0" does _not_ do >> the right thing? >> data LazyInteger = IntZero | IntSum Bool Integer LazyInteger >> or >> data LazyInteger = LazyInteger Bool Nat >> or whatever.
Luke Palmer wrote: > data LazyInteger = IntDiff Nat Nat > The only value which would diverge when > compared to a constant would be infinity - infinity. Hmm. But then you could have integers that are divergent and non-infinite. What do we gain by doing it this way? -Yitz _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
