Personal tools

Mathematical prelude discussion

From HaskellWiki

(Difference between revisions)
Jump to: navigation, 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]
  +
:[http://darcs.haskell.org/numericprelude/ darcs.haskell.org/numericprelude/]
   
[http://darcs.haskell.org/numericprelude/ darcs.haskell.org/numericprelude/]
+
=== 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 22:
 
*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

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

2006-06 report
darcs.haskell.org/numericprelude/

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


4 Discussion

MAGMA is an example of a language which embraced mathematical structure.