Proposal: Strict types

[Johan Tibell]

On Sun, Feb 20, 2011 at 6:11 PM, Edward Z. Yang <ezyang at mit.edu> 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?

Johan