Mathematical prelude discussion
From HaskellWiki
(Added Basic Algebra Library.) |
m (→Haskell Prime': redirect broken link) |
||
| (8 intermediate revisions not shown.) | |||
| Line 5: | Line 5: | ||
This page is intended to collect links to past discussion, and to provide a focal point for advancing the discussion. | This page is intended to collect links to past discussion, and to provide a focal point for advancing the discussion. | ||
| - | == | + | == Todo == |
| - | + | *Flesh out list of proposals. First from [[Libraries_and_tools/Mathematics]]. | |
| + | *Add links to discussions in list archive, and elsewhere. | ||
| - | + | == Libraries and proposals == | |
| - | + | ||
| + | === [[Numeric Prelude]] === | ||
| + | |||
| + | Working set of common type classes and instances. | ||
=== Basic Algebra Library (BAL) === | === Basic Algebra Library (BAL) === | ||
| Line 18: | Line 22: | ||
:[http://www.botik.ru/pub/local/Mechveliani/basAlgPropos/ www.botik.ru/pub/local/Mechveliani/basAlgPropos/] | :[http://www.botik.ru/pub/local/Mechveliani/basAlgPropos/ www.botik.ru/pub/local/Mechveliani/basAlgPropos/] | ||
:Formerly refered to as "basic algebra proposal". | :Formerly refered to as "basic algebra proposal". | ||
| + | |||
| + | Categorical Approach to representing mathematical structures in Haskell: | ||
| + | [ftp://ftp.botik.ru/pub/local/Mechveliani/docon/] | ||
| + | |||
| + | === Haskell Prime' === | ||
| + | |||
| + | [http://hackage.haskell.org/trac/haskell-prime/wiki/NumericClasses Numeric classes] on the Haskell' wiki | ||
=== See Also === | === See Also === | ||
| - | [[Libraries_and_tools/Mathematics]] | + | *[[Libraries_and_tools/Mathematics]] |
| + | == 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.'' | |
| - | + | ||
| + | [http://magma.maths.usyd.edu.au/magma/htmlhelp/MAGMA.htm MAGMA] is an example of a language which embraced mathematical structure. [[User:MitchellNCharity|MitchellNCharity]] 23:16, 14 November 2006 (UTC) | ||
| - | + | * Discussion 2010-04 in Haskell-Cafe on [http://www.haskell.org/pipermail/haskell-cafe/2010-April/075989.html Google-Summer-of-Code proposal for richer numerical type classes and supporting algorithms] | |
| + | |||
| + | * [http://lambda-the-ultimate.org/node/1655#comment-20299 LtU thread 1655] | ||
| + | |||
| + | * [http://www.axiom-developer.org/ Aldor/Axiom] may be a place to look for a good type class hierarchy | ||
| + | |||
| + | * [http://www.elementsofprogramming.com/eop-concepts.pdf Elements of Programming], Chapter 5 | ||
| - | [ | + | [[Category:Mathematics]] |
Current revision
Contents |
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)
- www.botik.ru/pub/local/Mechveliani/basAlgPropos/
- Formerly refered to as "basic algebra proposal".
Categorical Approach to representing mathematical structures in Haskell: [1]
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.
MAGMA is an example of a language which embraced mathematical structure. MitchellNCharity 23:16, 14 November 2006 (UTC)
- 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
