Unlifted data types

Richard Eisenberg eir at cis.upenn.edu
Wed Sep 9 12:44:53 UTC 2015

On Sep 9, 2015, at 8:40 AM, Simon Peyton Jones <simonpj at 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.


More information about the ghc-devs mailing list