Proposal: Strict types

Johan Tibell johan.tibell at
Mon Feb 21 03:28:28 CET 2011

On Sun, Feb 20, 2011 at 6:11 PM, Edward Z. Yang <ezyang at> wrote:
> I'm curious about how strict types interact horribly with fusion
> and other optimisations; I know strictness limits your optimisation
> ability, but my impression is that it shouldn't blow up too horribly
> unless you're trying to implement extremely clever optimisations.

I'm curious too. In my experience it often helps e.g. getting things unboxed.

Do we really need to go all the way to type families to get strict
data types? Wouldn't something simpler like a Haskell 98 Data.Strict
module do?


More information about the Libraries mailing list