Dear Haskell users and developers,

I announce that  manual.txt  from the archive

               ftp.botik.ru:/pub/local/Mechveliani/docon/2/docon-2.zip
        http://www.botik.ru...
 
contains the section 
----------------------------------------------------------------------
             {lne} Language extension proposal
             *********************************

Adding the following language features seem to make Haskell more fit
the needs of programming mathematics:

  (der)    more "deriving" abilities
  (overl)  extended polymorphism for values and instance overlap
  (dc)     automatic conversion between types (domains)
  (recat)  reorganising standard algebraic categories
  (es)     equational simplifier annotations
...
...
----------------------------------------------------------------------

You see, i worry about Haskell fitness for the programming of certain 
tasks.


------------------
Sergey Mechveliani
[EMAIL PROTECTED]






Reply via email to