[Haskell-cafe] Re: optimising for vector units

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