[Haskell] Re: Boxing (Day) Question
ashley at semantic.org
Thu Dec 29 12:56:07 EST 2005
<036EAC76E7F5EC4996A3B3C3657D411604105AB8 at EUR-MSG-21.europe.corp.microso
"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
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
More information about the Haskell