[Haskell-cafe] Simple matrix
dmhouse at gmail.com
Wed Jun 21 12:48:33 EDT 2006
Sorry, this was originally only sent to Atila, due to me pressing the
On 21/06/06, Atila Romero <atilaromero at yahoo.com.br> wrote:
> instance Num a => Num [[a]] where
> fromInteger x = [[fromInteger x]]
> abs x = map (map abs) x
> (+) [ ] y = y
> (+) x [ ] = x
> (+) x y = zipWith (zipWith (+)) x y
> (*) x y = map (matrixXvector x) y
> -- matrixXvector :: Num a => [[a]] -> [a] -> [[a]]
> matrixXvector m v = foldl vectorsum  $ zipWith vectorXnumber m v
> -- vectorXnumber :: Num a => [a] -> a -> [a]
> vectorXnumber v n = map (n*) v
> -- vectorsum :: [a] -> [a] -> [a]
> vectorsum  y = y
> vectorsum x  = x
> vectorsum x y = zipWith (+) x y
Just a couple of comments:
* You don't have to comment out the type signitures, they're perfectly
valid in let and where clauses.
* Infix functions, as well as being used infix, can be defined infix
too. I.e., you could have written x * y = map (matrixXvector x) y.
* Zipping the empty list with anything produces the empty list, so
your two equations for (*) involving the empty list are redundant.
* You define vectorsum, but don't seem to use it anywhere.
-David House, dmhouse at gmail.com
More information about the Haskell-Cafe