Mathematical prelude discussion
From HaskellWiki
(Difference between revisions)
(Page created.) |
(Added Basic Algebra Library.) |
||
| Line 9: | Line 9: | ||
=== Numeric prelude === | === Numeric prelude === | ||
| - | [http://haskell.org/communities/06-2006/html/report.html#numericprelude 2006-06 report] | + | :[http://haskell.org/communities/06-2006/html/report.html#numericprelude 2006-06 report] |
| + | :[http://darcs.haskell.org/numericprelude/ darcs.haskell.org/numericprelude/] | ||
| - | [http:// | + | === Basic Algebra Library (BAL) === |
| + | |||
| + | :Is not in community report 2006-06. | ||
| + | :[http://www.botik.ru/pub/local/Mechveliani/basAlgPropos/0.04/announce.txt 0.04/announce.txt (2006-02)] | ||
| + | :[http://www.botik.ru/pub/local/Mechveliani/basAlgPropos/ www.botik.ru/pub/local/Mechveliani/basAlgPropos/] | ||
| + | :Formerly refered to as "basic algebra proposal". | ||
=== See Also === | === See Also === | ||
[[Libraries_and_tools/Mathematics]] | [[Libraries_and_tools/Mathematics]] | ||
| + | |||
== Todo == | == Todo == | ||
| Line 21: | Line 28: | ||
*Flesh out list of proposals. First from [[Libraries_and_tools/Mathematics]]. | *Flesh out list of proposals. First from [[Libraries_and_tools/Mathematics]]. | ||
*Add links to discussions in list archive, and elsewhere. | *Add links to discussions in list archive, and elsewhere. | ||
| + | |||
== Discussion == | == Discussion == | ||
[http://magma.maths.usyd.edu.au/magma/htmlhelp/MAGMA.htm MAGMA] is an example of a language which embraced mathematical structure. | [http://magma.maths.usyd.edu.au/magma/htmlhelp/MAGMA.htm MAGMA] is an example of a language which embraced mathematical structure. | ||
Revision as of 22:54, 14 November 2006
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 Links to proposals and discussion
2.1 Numeric prelude
2.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".
2.3 See Also
Libraries_and_tools/Mathematics
3 Todo
- Flesh out list of proposals. First from Libraries_and_tools/Mathematics.
- Add links to discussions in list archive, and elsewhere.
4 Discussion
MAGMA is an example of a language which embraced mathematical structure.
