# Mathematical prelude discussion

### From HaskellWiki

(Difference between revisions)

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

- 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)