Difference between revisions of "Mathematical prelude discussion"

From HaskellWiki
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 28:
 
[[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

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.

Todo

Libraries and proposals

Numeric prelude

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

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

Discussion

MAGMA is an example of a language which embraced mathematical structure. MitchellNCharity 23:16, 14 November 2006 (UTC)

LtU thread 1655