# Difference between revisions of "Mathematical prelude discussion"

(Numeric Prelude article) |
(merged with Haskell_and_mathematics/Hierarchy) |
||

Line 13: | Line 13: | ||

=== [[Numeric Prelude]] === | === [[Numeric Prelude]] === | ||

+ | |||

+ | Working set of common type classes and instances. | ||

=== Basic Algebra Library (BAL) === | === Basic Algebra Library (BAL) === | ||

Line 20: | Line 22: | ||

:[http://www.botik.ru/pub/local/Mechveliani/basAlgPropos/ www.botik.ru/pub/local/Mechveliani/basAlgPropos/] | :[http://www.botik.ru/pub/local/Mechveliani/basAlgPropos/ www.botik.ru/pub/local/Mechveliani/basAlgPropos/] | ||

:Formerly refered to as "basic algebra proposal". | :Formerly refered to as "basic algebra proposal". | ||

+ | |||

+ | Categorical Approach to representing mathematical structures in Haskell: | ||

+ | [ftp://ftp.botik.ru/pub/local/Mechveliani/docon/] | ||

+ | |||

+ | === Haskell Prime' === | ||

+ | |||

+ | [http://haskell.galois.com/cgi-bin/haskell-prime/trac.cgi/wiki/NumericClasses Numeric classes] on the Haskell' wiki | ||

=== See Also === | === See Also === | ||

*[[Libraries_and_tools/Mathematics]] | *[[Libraries_and_tools/Mathematics]] | ||

− | |||

== Discussion == | == Discussion == | ||

+ | |||

+ | ''For me that probably starts with the semigroup/group/ring setup, and good | ||

+ | arbitrary-precision as well as approximate linear algebra support.'' | ||

+ | |||

+ | ''I agree: semigoups like lattices are everywhere. Then there could be a uniform treatment of linear algebra, polynomial equations, operator algebra, etc.'' | ||

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

[http://lambda-the-ultimate.org/node/1655#comment-20299 LtU thread 1655] | [http://lambda-the-ultimate.org/node/1655#comment-20299 LtU thread 1655] | ||

+ | |||

+ | Aldor/Axiom may be a place to look for a good type class hierarchy | ||

[[Category:Mathematics]] | [[Category:Mathematics]] |

## Revision as of 23:24, 31 January 2009

## Contents

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

- 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

Working set of common type classes and instances.

### 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".

Categorical Approach to representing mathematical structures in Haskell: [1]

### Haskell Prime'

Numeric classes on the Haskell' wiki

### See Also

## Discussion

*For me that probably starts with the semigroup/group/ring setup, and good*
arbitrary-precision as well as approximate linear algebra support.

*I agree: semigoups like lattices are everywhere. Then there could be a uniform treatment of linear algebra, polynomial equations, operator algebra, etc.*

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

Aldor/Axiom may be a place to look for a good type class hierarchy