[Haskell-cafe] Re: optimising for vector units

André Pang ozone at algorithm.com.au
Mon Jul 26 05:04:43 EDT 2004


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



More information about the Haskell-Cafe mailing list