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