Marcin 'Qrczak' Kowalczyk wrote:
>
> Just a small generic comment:
>
> IMVHO we should concentrate on making the thing useful for programmers.
> Not on exact modelling of mathematical concepts.
I agree completely. There are two problems with freezing large modules into
languages:
(1) they make
ROTECTED]>
To: S.D.Mechveliani <[EMAIL PROTECTED]>
Cc: <[EMAIL PROTECTED]>
Sent: Tuesday, May 02, 2000 2:31 PM
Subject: Re: discussing basAlgPropos
>
> Sergey:
>
> I will only make a short observation here - skipping
> other unnecessary details which do not move
Just a small generic comment:
IMVHO we should concentrate on making the thing useful for programmers.
Not on exact modelling of mathematical concepts.
This is a programming language, not a tutorial on algebra.
Let's see what concepts will be useful in real programs, what has to
be distinguished
Tue, 2 May 2000 19:21:22 +0400 (MSD), S.D.Mechveliani <[EMAIL PROTECTED]> pisze:
> basAlgPropos says
> "class (Show a, Eq a) => Set a where ...
> is introduced as a superclass for all algebra. It also provides
> compare_m for the partial ordering (which, for example, can be
> defined tr
Sergey:
I will only make a short observation here - skipping
other unnecessary details which do not move this
discussion in right direction.
You misread me, I wanted to help. Specifically, I sensed
a tone of resignation in your letter dated Wed,
I thank people for the discussing words on
http://www.botik.ru/pub/local/Mechveliani/basAlgPropos
I have found so far, the following concrete notices.
(1) Marcin Qrczak Kowalczyk <[EMAIL PROTECTED]> :
1.1. invalid arguments should be impossible to construct
if the va
