Mathematical prelude discussion
(Numeric Prelude article)
(merged with Haskell_and_mathematics/Hierarchy)
Revision as of 23:24, 31 January 2009
There have been many ideas for improving the prelude's support for mathematics. Including the addition of algebraic classes. But the discussion is spread over years of list archives and a half dozen websites. And the discussion has never gelled.
This page is intended to collect links to past discussion, and to provide a focal point for advancing the discussion.
- Flesh out list of proposals. First from Libraries_and_tools/Mathematics.
- Add links to discussions in list archive, and elsewhere.
3 Libraries and proposals
3.1 Numeric Prelude
Working set of common type classes and instances.
3.2 Basic Algebra Library (BAL)
- Is not in community report 2006-06.
- 0.04/announce.txt (2006-02)
- Formerly refered to as "basic algebra proposal".
Categorical Approach to representing mathematical structures in Haskell: 
3.3 Haskell Prime'
Numeric classes on the Haskell' wiki
3.4 See Also
For me that probably starts with the semigroup/group/ring setup, and good arbitrary-precision as well as approximate linear algebra support.
I agree: semigoups like lattices are everywhere. Then there could be a uniform treatment of linear algebra, polynomial equations, operator algebra, etc.
Aldor/Axiom may be a place to look for a good type class hierarchy