Personal tools

Mathematical prelude discussion

From HaskellWiki

(Difference between revisions)
Jump to: navigation, search
m (MathematicalPreludeDiscussion moved to Mathematical prelude discussion)
m (Added an LtU link. Owned a comment. Moved sections around.)
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.
   
== Links to proposals and 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 ===
 
=== Numeric prelude ===
Line 23: Line 23:
 
[[Libraries_and_tools/Mathematics]]
 
[[Libraries_and_tools/Mathematics]]
   
  +
== Discussion ==
   
== Todo ==
+
[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)
 
*Flesh out list of proposals. First from [[Libraries_and_tools/Mathematics]].
 
*Add links to discussions in list archive, and elsewhere.
 
 
 
== Discussion ==
 
   
[http://magma.maths.usyd.edu.au/magma/htmlhelp/MAGMA.htm MAGMA] is an example of a language which embraced mathematical structure.
+
[http://lambda-the-ultimate.org/node/1655#comment-20299 LtU thread 1655]

Revision as of 23:16, 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 Todo

3 Libraries and proposals

3.1 Numeric prelude

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

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)

LtU thread 1655