George Russell <[EMAIL PROTECTED]> writes 05 May 2000

> I think the way to proceed with basAlgPropos is to implement it
> outside the language as a library.
> [..]
> GHC 
> [..]
> At the moment I feel it would be better to let it evolve.


You mean: non-standard library.
There is no need in decision to allow a thing out of standard.
For example, free DoCon CA program written in Haskell already 
"evolves" for several years, already has right to evolve 100 years
more, and the copyright of DoCon-2 allows it, in particular, to be 
included everywhere as a library without asking its author 
(only requires the appropriate reference).

basAlgPropos  is much simpler that DoCon, because it aims the 
standard.
If I was asked to help  basAlgPropos  to evolve as non-standard, 
for me personally, this might have sense only as a messy, routine
(and paid!) work.
Because I already help to evolve DoCon CA program. This always was 
the work No 1. And it would be slightly better to base this DoCon 
thing on some better standard than exists.

On the other hand, I do not complain much even on Haskell-98.
This is why I said once "do not care much of what it would happen 
with basAlgPropos".
Also I like, for example, the idea of a good Rule extension of the 
language.
Why, I would probably, experiment with the nice  Maude  language
and system. For thinking people there always exists a field, a 
standard is not the main in scientific programming.
Generally - do not like to talk of standards. They are already 
silently built-in somewhere in each science. It remains only to 
extract them to the programming.

Several persons in this list showed a great interest in new standard
and spent a couple of letters to encourage me personally to write a 
thing.
Maybe, I wrote wrong thing, do not know.
 
It was spent 20 days to create it, assuming that the whole approach
was developed for 2-3 years before.
Hence, I should not avoid discussing it for several days and have a 
moral right to require from the committee considering it and issuing
an official decision.
Please, let us perform our duty.

------------------
Sergey Mechveliani
[EMAIL PROTECTED]
http://www.botik.ru/~mechvel
 







Reply via email to