Proposal: Value strict versions of containers

[Johan Tibell]

Forgot to add libraries@

On Mon, May 23, 2011 at 4:29 PM, Johan Tibell <johan.tibell at gmail.com> wrote:
> On Mon, May 23, 2011 at 4:18 PM, Sebastian Fischer <fischer at nii.ac.jp> wrote:
>> Because unboxing can not be used for the polymorphic value component in the
>> strict structure and there is no way to tell GHC to unbox the specific
>> instantiation `IntMap (Lazy a)`?
>
> Exactly. This would amount to code generation in the module defining
> IntMap (Lazy a), similar to how C++ implements template.
>
>> I thought GHC would eliminate the indirection and extra words with
>> -funbox-strict-fields.
>
> Unfortunately not.
>
> Johan
>