Mathematical prelude discussion
From HaskellWiki
(Difference between revisions)
m (Added an LtU link. Owned a comment. Moved sections around.) |
(Category:Mathematics) |
||
| Line 33: | Line 33: | ||
[http://lambda-the-ultimate.org/node/1655#comment-20299 LtU thread 1655] | [http://lambda-the-ultimate.org/node/1655#comment-20299 LtU thread 1655] | ||
| + | |||
| + | [[Category:Mathematics]] | ||
Revision as of 16:33, 15 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 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
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".
3.3 See Also
Libraries_and_tools/Mathematics
4 Discussion
MAGMA is an example of a language which embraced mathematical structure. MitchellNCharity 23:16, 14 November 2006 (UTC)
