[Haskell-cafe] Re: optimising for vector units

[André Pang]

On 26/07/2004, at 10:49 AM, Ben Lippmeier wrote:

> ... though it would be nice to be able to define
>
> a + b :: (Float, Float, Float, Float) -> (Float, Float, Float, Float) 
> -> (Float, Float, Float, Float)
>
> and expect it to go via SSE..

I believe it would be possible to do this with "associated types":

     http://www.cse.unsw.edu.au/~chak/papers/CKPM04.html

... whenever they decide to appear in GHC :).


-- 
% Andre Pang : trust.in.love.to.save