[Haskell] Re: Boxing (Day) Question

In article <036EAC76E7F5EC4996A3B3C3657D411604105AB8@EUR-MSG-21.europe.corp.microso ft.com>, "Simon Peyton-Jones" <simonpj@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