# Mathematical prelude discussion

### From HaskellWiki

m (Added an LtU link. Owned a comment. Moved sections around.) |
m (→Haskell Prime': redirect broken link) |
||

(6 intermediate revisions by 2 users not shown) | |||

Line 12: | Line 12: | ||

== Libraries and proposals == |
== Libraries and proposals == |
||

− | === Numeric prelude === |
+ | === [[Numeric Prelude]] === |

− | :[http://haskell.org/communities/06-2006/html/report.html#numericprelude 2006-06 report] |
+ | Working set of common type classes and instances. |

− | :[http://darcs.haskell.org/numericprelude/ darcs.haskell.org/numericprelude/] |
||

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

Line 22: | 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://hackage.haskell.org/trac/haskell-prime/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] |
+ | * Discussion 2010-04 in Haskell-Cafe on [http://www.haskell.org/pipermail/haskell-cafe/2010-April/075989.html Google-Summer-of-Code proposal for richer numerical type classes and supporting algorithms] |

+ | |||

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

+ | |||

+ | * [http://www.axiom-developer.org/ Aldor/Axiom] may be a place to look for a good type class hierarchy |
||

+ | |||

+ | * [http://www.elementsofprogramming.com/eop-concepts.pdf Elements of Programming], Chapter 5 |
||

+ | |||

+ | [[Category:Mathematics]] |

## Latest revision as of 13:31, 4 October 2011

## Contents |

## [edit] 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.

## [edit] 2 Todo

- Flesh out list of proposals. First from Libraries_and_tools/Mathematics.
- Add links to discussions in list archive, and elsewhere.

## [edit] 3 Libraries and proposals

### [edit] 3.1 Numeric Prelude

Working set of common type classes and instances.

### [edit] 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".

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

### [edit] 3.3 Haskell Prime'

Numeric classes on the Haskell' wiki

### [edit] 3.4 See Also

## [edit] 4 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)

- Discussion 2010-04 in Haskell-Cafe on Google-Summer-of-Code proposal for richer numerical type classes and supporting algorithms

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

- Elements of Programming, Chapter 5