lets not talk about this while people are buried with 7.8 release engineering, please :) 

there are certainly good ideas in Henning's (amazing) work,
HOWEVER, one thing people often forget is that theres more than one valid computational formalization of a given mathematical concept (which itself can often have a multitude of equivalent definitions).

and thats even ignoring the fact that the haddocks are full of readable Qualified names like 
"class C a => C a where" :) 




On Fri, Mar 21, 2014 at 1:08 PM, Corey O'Connor <coreyoconnor@gmail.com> wrote:
On #3: The library numeric-prelude achieves many of these goals (Plus a bunch more). If the experiences of using numeric-prelude are positive then using this or a subset of this as the standard numeric prelude might resolve these goals easily.

http://hackage.haskell.org/package/numeric-prelude



On Mon, Feb 24, 2014 at 5:13 AM, harry <voldermort@hotmail.com> wrote:
Carter Charbonneau wrote
> 2. Move Semigroup into Prelude
>
> 2.1 Make Monoid depend on Semigroup.

NonEmpty seems to be frequently reimplemented, particularly by beginners.
Including Semigroup in Prelude would save all this duplication.



--
View this message in context: http://haskell.1045720.n5.nabble.com/Burning-more-bridges-mostly-numeric-ones-tp5744526p5744545.html
Sent from the Haskell - Libraries mailing list archive at Nabble.com.
_______________________________________________
Libraries mailing list
Libraries@haskell.org
http://www.haskell.org/mailman/listinfo/libraries


_______________________________________________
Libraries mailing list
Libraries@haskell.org
http://www.haskell.org/mailman/listinfo/libraries