20 Feb
2011
20 Feb
'11
9:28 p.m.
On Sun, Feb 20, 2011 at 6:11 PM, Edward Z. Yang
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? Johan