On Sep 9, 2015, at 8:40 AM, Simon Peyton Jones <simo...@microsoft.com> wrote:
> 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 _______________________________________________ ghc-devs mailing list ghc-devs@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs