On Sun, Oct 19, 2008 at 5:05 PM, Don Stewart <[EMAIL PROTECTED]> 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
_______________________________________________
Haskell-Cafe mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/haskell-cafe
