[Haskell] Re: Boxing (Day) Question

[Ashley Yakeley]

In article 
<036EAC76E7F5EC4996A3B3C3657D411604105AB8 at EUR-MSG-21.europe.corp.microso
ft.com>,
 "Simon Peyton-Jones" <simonpj at microsoft.com> wrote:

> The .NET CLR lifts the restriction by specialising code, so that it can
> adapt to whether it is moving Int# or Double# values around.  In
> Haskell, though, it's not possible to statically generate all the
> instances you need, so you'd need run-time code generation to do this.  
> 
> It's a real restriction, and sometimes very tiresome, but I'm not
> planning to fix it soon, unless I have a brilliant idea for how to do it
> easily.

So you don't think having a different kind for each kind of storage 
(e.g. #4 for 4-byte values, etc.) would help you here?

-- 
Ashley Yakeley, Seattle WA