Simon Peyton-Jones <[EMAIL PROTECTED]> writes on 11 May 2000
> I'd like to make a few comments about the recent
> discussion about Sergey's basAlgProp and related issues.
> [..]
> It may not be well known that
> there *is* no Haskell committee!
>
> There was a Haskell98 committee, but its work is done. At some
> point in the future there may well be a Haskell-2 committee, but
> it doesn't exist yet.
My last appeal: basAlgPropos is NOT ready (on May 2000)
to be considered by (potential) committee.
It is under revision.
> If there is a group of people who want to develop
> a better mathematical type structure for Haskell, we should
> make a mailing list ([EMAIL PROTECTED]?) so they can talk to
> each other without the whole Haskell list having to listen in.
As the revised basAlgPropos is going, so far, to pretend for the
library, I would like to join [EMAIL PROTECTED]
or the like
(I suggest to add 'lib' to make difference to possible topic of
applied math programs).
> [Incidentally, I'm quite unclear whether basAlgProp is a
> language proposal or a library proposal.
basAlgPropos is a proposal for Algebraic part of standard library.
It refers to some small language proposal which has to be considered
separately, and the language proposal is optional when considering
basAlgPropos.
------------------
Sergey Mechveliani
[EMAIL PROTECTED]
