Difference between revisions of "Mathematical prelude discussion"

From HaskellWiki
Jump to: navigation, search
m (Added an LtU link. Owned a comment. Moved sections around.)
(Undo revision 63546 by Ysangkok (talk); found it in the wiki which is now on gitlab)
 
(9 intermediate revisions by 4 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 23: 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' ===
  +
  +
[https://gitlab.haskell.org/haskell/prime/-/wikis/numeric-classes 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 06:04, 10 December 2020

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

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