2 Jan
2011
2 Jan
'11
3:14 p.m.
On 2 January 2011 19:54, Duncan Coutts
In the standard stream fusion style, all stream operations are strict in the stream itself (that is, the pair of stepper function and initial state, not strict in the unfolded sequence or elements). Thus it is not possible to write things like:
bad_ones :: Stream Int bad_ones = s where s = 1 `S.cons` s
...
Thanks Duncan and Henning again ealier. I'll see if I can do without tight, circular definitions or change to an inductive stream representation if I find I need them. Best wishes Stephen