[Haskell-cafe] matrix computations based on the GSL

Lennart Augustsson lennart at augustsson.net
Thu Jul 7 08:44:16 EDT 2005

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

More information about the Haskell-Cafe mailing list