Re: [Haskell-cafe] Re: package for algebraic structures

2009-02-24 Thread Wolfgang Jeltsch
Am Dienstag, 24. Februar 2009 09:30 schrieb Aaron Denney:
> On 2009-02-19, Wolfgang Jeltsch  wrote:
> > In addition, I wouldn’t include algebraic structures in a
> > *numerical* prelude since the cool thing about them is that they are
> > so abstract that they are not only about numbers.
>
> But the thing is that to have the numerical classes support the proper
> abstractions we want them to support, we need to define the algebraic
> structures as well.  So the rework goes together...

Of course! It’s just that having algebraic structures in a separate algebra 
package is in my opinion a better idea than having them in a numeric prelude.

Best wishes,
Wolfgang
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe


[Haskell-cafe] Re: package for algebraic structures

2009-02-24 Thread Aaron Denney
On 2009-02-19, Wolfgang Jeltsch  wrote:
> In addition, I wouldn’t include algebraic structures in a
> *numerical* prelude since the cool thing about them is that they are
> so abstract that they are not only about numbers.

But the thing is that to have the numerical classes support the proper
abstractions we want them to support, we need to define the algebraic
structures as well.  So the rework goes together...

-- 
Aaron Denney
-><-

___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe