[M3devel] [M3commit] CVS Update: cm3

Tony Hosking hosking at cs.purdue.edu
Tue Jul 6 15:50:33 CEST 2010


Thanks Mika,

That's what I was hoping to express but I was too tired.

I don't think we can convince Jay, but I do want him to understand at least that there is strong resistance to his desire to add all of these value initialisers, and that it really is not a priority.

On 6 Jul 2010, at 01:58, Mika Nystrom wrote:

> 
> As I've said before,
> 
> When I write:
> 
> VAR 
>  a : INTEGER;
> BEGIN
> 
>  ...
> 
>  .... a := ..    ...
> 
>  ...
> 
> END
> 
> that means I am putting you, the reader, on notice that I have no
> particularly meaningful idea of what a's initial value is.
> 
> If I were to write 
> 
> VAR 
>  a := 0;
> BEGIN
> ...
> END
> 
> I would mislead you into thinking that 0 is a somehow important
> initial value.  Which it's not.  It's just garbage, and it better
> not show up in the computation!
> 
> Programs are mainly meant to be read by humans, not computers.
> 
>     Mika
> 
> 
> Jay K writes:
>> --_d2468f3b-9666-4291-98b5-5414421f54d9_
>> Content-Type: text/plain; charset="iso-8859-1"
>> Content-Transfer-Encoding: quoted-printable
>> 
>> 
>> We are going in circles.




More information about the M3devel mailing list