BAL paper available

Jerzy Karczmarczuk karczma@info.unicaen.fr
Tue, 15 May 2001 18:33:41 +0200


Serge Mechveliani :
> 
> Paper announcement
> ------------------
> 
> The file
> http://www.botik.ru/pub/local/Mechveliani/basAlgPropos/haskellInCA1.ps.zip
> 
> contains more expanded explanations on the BAL (Basic Algebra Library)
> project
> (previous variant was  haskellInCA.ps.zip).
> 
> My real intention in whole this line of business was always not just
> to propose a standard but rather to discuss and to find, what may be
> an appropriate way to program mathematics in Haskell.
> The matter was always in parametric domains ...
> Whoever tried to program real CA in Haskell, would agree that such a
> problem exists.


Absolutely.
The point is that this seems - for various, perfectly understandable reasons -
not to be the priority of the implementors. 
Graphics/imagery neither.
Nor hard numeric work (efficient, easy to manipulate arrays).

And now I will say something horrible.

Despite my extremely deep respect for all people contributing to Haskell,
despite my love for the language etc. I begin to suspect that it has been
standardized too early, and if we (Sergey, other people interested in math, 
as Dylan Thurston, myself, etc., as well as people who want to do *serious*
graphics in a functional way) want an adapted functional language, either
we will have to wait quite long, or perhaps it is the time to invent another
language, with a more dynamic type system, with intrinsic graphic utilities,
and other goodies. For the moment - this is my personal viewpoint - it
might be better to write concrete applications, and papers describing those
applications. Then we shall perhaps know better what kind of structures,
algorithms, representations, genericities, etc. we REALLY need for practical
purposes.

Anyway, Sergey did a formidable work, and this should be acknowledged even
by those who on this list criticized his presentation. Thanks.


Jerzy Karczmarczuk
Caen, France