On Sun, Oct 19, 2008 at 4:26 AM, Claus Reinke <[EMAIL PROTECTED]> wrote: > (hint to ghc hackers: 'Data.Map.Map Int !Int' and '[!a]' would really be > useful!-),
I can't figure out what that means though. Strictness is not a property of types or of values, it is a property of functions. [!] is not a subtype of [] ; IOW, there is no a such that [a] = [!Int] (where [!Int] is a list with strict values). For example, if we allowed this, the following property breaks: length xs == length (map f xs) Since it is not true on strict lists. Luke _______________________________________________ Haskell-Cafe mailing list [email protected] http://www.haskell.org/mailman/listinfo/haskell-cafe
