9 Sep
2015
9 Sep
'15
12:44 p.m.
On Sep 9, 2015, at 8:40 AM, Simon Peyton Jones
Can you be more specific? What does "gloss over" mean?
I mean that, for example, `length` will work over both strict lists and lazy lists. It will infer the strictness of its argument through ordinary type inference. So users have to be aware of strictness, but they will be able to use the same functions in both cases. Richard