Difference between revisions of "Mathematical prelude discussion"
Jump to navigation
Jump to search
(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] |
| ⚫ | |||
| + | === 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 == |
||
Revision as of 22:54, 14 November 2006
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.
Links to proposals and discussion
Numeric prelude
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".
See Also
Libraries_and_tools/Mathematics
Todo
- Flesh out list of proposals. First from Libraries_and_tools/Mathematics.
- Add links to discussions in list archive, and elsewhere.
Discussion
MAGMA is an example of a language which embraced mathematical structure.