Mathematical prelude discussion
(link to: haskell gsoc proposal for richer numerical type classes and supporting algorithms)
m (→Haskell Prime': redirect broken link)
Latest revision as of 13:31, 4 October 2011
 1 Purpose
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.
 2 Todo
- 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
 4 Discussion
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.
- Discussion 2010-04 in Haskell-Cafe on Google-Summer-of-Code proposal for richer numerical type classes and supporting algorithms
- Aldor/Axiom may be a place to look for a good type class hierarchy
- Elements of Programming, Chapter 5