From: "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>
Subject: Re: function Is_Open (File : File_Type) return Boolean; :Text_io
Date: Thu, 29 Oct 2015 14:37:23 +0100
Date: 2015-10-29T14:37:23+01:00 [thread overview]
Message-ID: <1quu0fn66x4br$.1f1x6de5oto9u$.dlg@40tude.net> (raw)
In-Reply-To: 7e1b4b17-c769-4aa5-a085-a2ccf2ac75ea@googlegroups.com
On Thu, 29 Oct 2015 04:25:06 -0700 (PDT), AdaMagica wrote:
> Am Mittwoch, 28. Oktober 2015 22:02:17 UTC+1 schrieb Dmitry A. Kazakov:
>>> In Ada, we can write:
>>>
>>> type Gizmo_Count is range 0 .. 2**10;
>>> Num_Gizmos: Gizmo_Count := 0;
>>>
>>> IMHO, documenting the 0..1024 requirement in executable code is much
>>> better than using a comment:
>>
>> How is that documenting? It is a direct instruction to the compiler.
>> Documentation is addressed to the human reader.
>>
>> The advantage of Ada over C is that where in Ada you can instruct, in C the
>> only way is to document.
>
> IMHO, this is again a case of Dmitry's special nomenclature:
It is the standard meaning of the word: to record something in written,
graphic or other form; to support or accompany with documentation.
> I think the Ada community has a different bias: Expressing requirements,
> i.e. documentation, in code is preferable.
Actually there are people in c.l.a. against excessive commenting.
> Thus we use Natural rather than
> Integer for counting, use constraints like above in Gizmo. And we call
> this *documenting*. This is both, an instruction for the compiler *and*
> information addressed to the reader.
So, according to you
X : Integer; -- Undocumented
Y : Natural; -- Documented
Don't you find it a bit silly? There is no difference between both.
BTW, any numeric type in Ada is constrained => "documented", according to
you.
--
Regards,
Dmitry A. Kazakov
http://www.dmitry-kazakov.de
next prev parent reply other threads:[~2015-10-29 13:37 UTC|newest]
Thread overview: 52+ messages / expand[flat|nested] mbox.gz Atom feed top
2015-10-26 10:00 function Is_Open (File : File_Type) return Boolean; :Text_io comicfanzine
2015-10-26 11:27 ` Simon Wright
2015-10-26 13:25 ` comicfanzine
2015-10-26 18:01 ` Simon Wright
2015-10-26 19:03 ` AdaMagica
2015-10-27 11:30 ` Simon Wright
2015-10-26 18:02 ` Jeffrey R. Carter
2015-10-26 13:28 ` comicfanzine
2015-10-26 15:07 ` Jacob Sparre Andersen
2015-10-26 16:37 ` AdaMagica
2015-10-26 20:46 ` J-P. Rosen
2015-10-27 8:42 ` comicfanzine
2015-10-27 11:34 ` Simon Wright
2015-10-28 13:32 ` comicfanzine
2015-10-27 8:51 ` comicfanzine
2015-10-27 17:15 ` Jeffrey R. Carter
2015-10-26 22:48 ` Bob Duff
2015-10-27 8:30 ` Dmitry A. Kazakov
2015-10-27 13:30 ` Bob Duff
2015-10-27 14:00 ` G.B.
2015-10-27 15:26 ` Dmitry A. Kazakov
2015-10-27 16:43 ` G.B.
2015-10-27 20:04 ` Dmitry A. Kazakov
2015-10-28 11:06 ` Georg Bauhaus
2015-10-28 17:58 ` Randy Brukardt
2015-10-28 18:20 ` Dmitry A. Kazakov
2015-10-28 20:36 ` Bob Duff
2015-10-28 21:02 ` Dmitry A. Kazakov
2015-10-29 11:25 ` AdaMagica
2015-10-29 13:37 ` Dmitry A. Kazakov [this message]
2015-10-29 17:57 ` AdaMagica
2015-10-29 18:12 ` AdaMagica
2015-10-29 18:26 ` Dmitry A. Kazakov
2015-10-30 8:27 ` Jacob Sparre Andersen
2015-10-30 9:11 ` J-P. Rosen
2015-10-29 11:47 ` G.B.
2015-10-29 13:01 ` J-P. Rosen
2015-10-29 14:00 ` Dmitry A. Kazakov
2015-10-30 1:06 ` Georg Bauhaus
2015-10-30 8:39 ` Dmitry A. Kazakov
2015-10-30 14:32 ` G.B.
2015-10-30 16:20 ` Dmitry A. Kazakov
2015-10-30 19:07 ` G.B.
2015-10-31 9:31 ` Dmitry A. Kazakov
2015-10-31 11:17 ` Georg Bauhaus
2015-10-30 14:40 ` G.B.
2015-10-30 16:26 ` Dmitry A. Kazakov
2015-10-28 20:07 ` Bob Duff
2015-10-28 20:59 ` Dmitry A. Kazakov
2015-10-27 14:02 ` G.B.
2015-10-27 15:10 ` Dmitry A. Kazakov
2015-10-27 16:41 ` G.B.
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox