Personal tools

Mathematical prelude discussion

From HaskellWiki

(Difference between revisions)
Jump to: navigation, search
(merged with Haskell_and_mathematics/Hierarchy)
(elementsofprogramming.com)
Line 43: Line 43:
 
[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
+
* [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]]
 
[[Category:Mathematics]]

Revision as of 22:52, 31 October 2009

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

Working set of common type classes and instances.

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]

3.3 Haskell Prime'

Numeric classes on the Haskell' wiki

3.4 See Also

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)

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