Personal tools

Mathematical prelude discussion

From HaskellWiki

(Difference between revisions)
Jump to: navigation, search
(Added Basic Algebra Library.)
m (Haskell Prime': redirect broken link)
 
(8 intermediate revisions by 3 users not shown)
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 ==
   
=== Numeric prelude ===
+
*Flesh out list of proposals. First from [[Libraries_and_tools/Mathematics]].
  +
*Add links to discussions in list archive, and elsewhere.
   
:[http://haskell.org/communities/06-2006/html/report.html#numericprelude 2006-06 report]
+
== Libraries and proposals ==
:[http://darcs.haskell.org/numericprelude/ darcs.haskell.org/numericprelude/]
+
  +
=== [[Numeric Prelude]] ===
  +
  +
Working set of common type classes and instances.
   
 
=== Basic Algebra Library (BAL) ===
 
=== Basic Algebra Library (BAL) ===
Line 18: Line 18:
 
:[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 ==
   
== Todo ==
+
''For me that probably starts with the semigroup/group/ring setup, and good
  +
arbitrary-precision as well as approximate linear algebra support.''
   
*Flesh out list of proposals. First from [[Libraries_and_tools/Mathematics]].
+
''I agree: semigoups like lattices are everywhere. Then there could be a uniform treatment of linear algebra, polynomial equations, operator algebra, etc.''
*Add links to discussions in list archive, and elsewhere.
 
   
  +
[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)
   
== Discussion ==
+
* 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
   
[http://magma.maths.usyd.edu.au/magma/htmlhelp/MAGMA.htm MAGMA] is an example of a language which embraced mathematical structure.
+
[[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

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

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