<html>
<head>
<meta content="text/html; charset=ISO-8859-1"
http-equiv="Content-Type">
</head>
<body bgcolor="#FFFFFF" text="#000000">
Richard O'Keefe :
<blockquote
cite="mid:A0E64A9B-378E-4061-BF7D-C8191745E62A@cs.otago.ac.nz"
type="cite">
<pre wrap="">You may have no intention of discussing the issue,
but it seems to <b class="moz-txt-star"><span class="moz-txt-tag">*</span>me<span class="moz-txt-tag">*</span></b> that "this will not work in 2012
Haskell compiler mostly conforming to Haskell 2010
because Haskell 2010 says it shouldn't work" is a pretty
sound position to take.</pre>
</blockquote>
The existence of standards is not an answer concerning their
"goodness". The numerical properties of objects are orthogonal to
their "external representation", and often to the possibility of
asking whether they are equal.<br>
<br>
I used Haskell to work with *abstract* vectors in Hilbert space
(quantum states). Here, the linearity, the possibility to copute the
representants (Dirac brackets : scalar products), etc. is essential.
And they are functional objects.<br>
<br>
In a slightly more abstract than usual approach to differential
geometry, the concept of vector is far from a classical data
structure. It IS a linear mapping, or, say a differential operator.
Again a functional object.<br>
<br>
There are approaches to stream processing, where streams are
functions, and some people would like to add them independently of
their instantiations as sequences of numbers.<br>
<br>
==<br>
<br>
I think that many people agree that Num was not the best idea...
This class combines the addition with the multiplication, which is
not explicitly natural, and it has been done probably because of the
simplicity of the "vision" of the Authors : there are integer
numbers, there are reals (which ask for a special class with
division), and that's it. You cannot compute the exponential [using
the standard name] of a power series, unless you declare this
series, which may be a list of rational coefficients, a "Floating".
<br>
<br>
<br>
Thank you.<br>
<br>
<br>
Jerzy Karczmarczuk<br>
<br>
</body>
</html>