If you ask me if a data structure is lazy, I will ask you the boiling point of Pythagora's Theorem and I too, can hold a straight face.
-
@dibblego so a Stream a = Stream a (Stream a) for example? That's not lazy?
@guhou The only possible thing that can be lazy, is a function in its argument. Not data structures, or elephants or any other silly thing.
-
-
@dibblego I agree with that. Then your distinction is 'lazy type' vs 'type with lazy constructors'? -
@guhou Close enough and it is a very important distinction. Note all functions take one argument. Constructors are functions. - Show replies
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.