[Haskell-cafe] vector-space and standard API for vectors

Gregory Collins greg at gregorycollins.net
Sat Oct 23 17:01:56 EDT 2010

Alexey Khudyakov <alexey.skladnoy at gmail.com> writes:

> However when written this way it becomes obvious that
> `zeroV' == `mempty' and ^+^ = mappend. Is Additive really needed then?

If your type is a ring, you have two monoids; how would you choose?

Gregory Collins <greg at gregorycollins.net>

More information about the Haskell-Cafe mailing list