[Haskell-beginners] Expressing the idea of a group in Haskell
patrick.leboutillier at gmail.com
Wed Mar 16 13:41:25 CET 2011
Math newbie here: what's the difference between a group and a monoid?
On Wed, Mar 16, 2011 at 4:49 AM, Christian <ch.gosch at googlemail.com> wrote:
> Hello Haskell-Experts!
> I was trying to express the notion of a (mathematical) group
> in Haskell, using type classes, as an exercise.
> If I am not mistaken, a group can be for example the Reals together with
> the multiplication operation and "1" as the neutral element.
> Or, the Reals with addition and "0".
> my first idea was to write something like
> class Group a where
> _but_, I thought, I need to parameterise, so to speak, not only using the
> type "a", but also the group operation.
> How could I do that in Haskell? Is that even possible?
> Thanks in advance!
> Beginners mailing list
> Beginners at haskell.org
Rosemère, Québec, Canada
More information about the Beginners