Proposal: Strict types
johan.tibell at gmail.com
Mon Feb 21 03:28:28 CET 2011
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
More information about the Libraries