[Haskell-cafe] is 256M RAM insufficient for a 20 millionelement Int/Int map?

[Luke Palmer]

On Sun, Oct 19, 2008 at 5:05 PM, Don Stewart <dons at galois.com> wrote:
> In general, being able to specialise polymorphic structures so they look like unpacked
> monomorphic ones would be awesome.
>
>    (!Int, !Bool)     ->   (,) {-# UNPACK #-}!Int {-# UNPACK #-}!Bool

I repeat my concern about this notation and the implications thereof.
(!Int, !Bool) cannot be passed to a function accepting (a,b).

However, I feel there's something very useful here that should be
fleshed out rather than hacked.  For example, a theory of composable
strict structures in a lazy language.

Luke