[Haskell-cafe] matrix computations based on the GSL

[Lennart Augustsson]

David Roundy wrote:
> The issue is that Haskell (as far as I understand, and noone has suggested
> anything to the contrary) doesn't have a sufficiently powerful type system
> to represent matrices or vectors in a statically typed way.  It would be
> wonderful if we could represent matrix multiplication as 
> 
> matrix_mul :: Matrix n m -> Matrix m o -> Matrix n o
> 

Actually, Haskell does allow you to do that.  But the syntax of the
types gets pretty horrendous.
I'm sure Oleg will show you how any moment now. :)

	-- Lennart