<html>
<head>
<meta content="text/html; charset=windows-1252"
http-equiv="Content-Type">
</head>
<body text="#000000" bgcolor="#FFFFFF">
Richard A. O'Keefe comments :<br>
<blockquote
cite="mid:6AB294CF-265A-41FB-B014-47AD10D4A790@cs.otago.ac.nz"
type="cite">
<pre wrap="">Sounds like you want NumericPrelude.
(Or possibly the AXIOM computer algebra language...)
</pre>
</blockquote>
<br>
Just a word.<br>
This is a quite old subject, "reinvented" many times. A neverending
story...<br>
<br>
Already twenty (yes!) years ago, in:<br>
<br>
<i>Functional programming languages in education : first
international symposium, FPLE '95, Nijmegen, the Netherlands,
December 4-6, 1995</i><br>
<br>
you may find two talks about it, one by Jeroen Fokker, and other,
mine.<br>
<br>
Then, Sergei Mechveliani worked some years on it, and constructed
DoCon, the Algebraic Domain Constructor (accessible here:<br>
<a class="moz-txt-link-freetext" href="http://homepages.inf.ed.ac.uk/wadler/realworld/docon2.html">http://homepages.inf.ed.ac.uk/wadler/realworld/docon2.html</a> )<br>
<br>
Presumably there are other implementations as well. I know, but I
lost the references, that some people worked on such constructs in
Clean, where the type class structure is a bit different than in
Haskell, some generalizations are easier to implement.<br>
<br>
Jerzy Karczmarczuk<br>
<br>
</body>
</html>