In article 
<[EMAIL PROTECTED]
ft.com>,
 "Simon Peyton-Jones" <[EMAIL PROTECTED]> 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

_______________________________________________
Haskell mailing list
Haskell@haskell.org
http://www.haskell.org/mailman/listinfo/haskell

Reply via email to