2 Apr
2008
2 Apr
'08
10:20 a.m.
2008/4/2, Hans Aberg
On 2 Apr 2008, at 14:27, jerzy.karczmarczuk@info.unicaen.fr wrote:
It would be better to write a new Prelude. :-)
Oh, yes, our common dream...
One may not need to write a wholly new Prelude, by something like:
module NewPrelude where
import Prelude hiding -- Num, (+).
class AdditiveSemiMonoid a where (+) :: a -> a -> a
Err, why *semi* monoid? Plain "monoid" would not be accurate? <rant> While we're at it, what about adding even more classes, like "group" or "ring"? Algebra in a whole class hierachy. :-) </rant> Loup