From: "Randy Brukardt" <randy@rrsoftware.com>
Subject: Re: AWS Coding Styles (and about boring plain-linear text files in the end)
Date: Tue, 18 Jan 2011 16:13:15 -0600
Date: 2011-01-18T16:13:15-06:00 [thread overview]
Message-ID: <ih539t$7e4$1@munin.nbi.dk> (raw)
In-Reply-To: 4d3608ab$0$7664$9b4e6d93@newsspool1.arcor-online.net
"Georg Bauhaus" <rm.dash-bauhaus@futureapps.de> wrote in message
news:4d3608ab$0$7664$9b4e6d93@newsspool1.arcor-online.net...
> On 18.01.11 21:23, Pascal Obry wrote:
>>
>> Florian,
>>
>>> The problem is that the rule is self-contradictory. I think it should
>>> say, "should not specifically mention", i.e., the opposite of what you
>>> suggested.
>>
>> No, it is definitely "should specifically mention". We are talking about
>> the formal name here. Please reread my response to Yannick about this
>> one.
>>
>
> The trouble here is maybe that the guidelines say
>
> 1) Mention the formal argument names!
>
> 2) Do not depend on the names of things!
>
> I first thought of the distinction between "to mention" and
> "to use" and how it is usually found confusing and thus
> frequently accompanied by a definition. Which one is appropriate here?
>
> Second, the style rule requires thinking about an apparent
> contradiction, created by a certain reading of (2) in the
> presence of (1). The reader assigns possibly unintended,
> yet plausible, meaning to the words "depend" and "names",
> and concludes:
>
> "How is one to mention formal argument names in a comment
> but such that one must not depend on names in the comment?"
I agree. (I'm working on the Ada standard right now, so I'm reading things
fairly formally.) Indeed, I still have no idea what the second sentence of
that style section is supposed to mean. I thought it meant the exact
opposite of the first sentence (with which I agree wholeheartedly) -- the
only way *not* to depend on the names is to not include them in the text.
I'd probably suggest dropping it altogether -- I have no idea how to write a
useful comment that doesn't depend on the names of things.
Perhaps the point was that there always should be a comment (rather than
expecting the name of the parameters to serve in place of a comment) -- in
that case, the text needs to emphasize the need for comments rather than the
reason for omitting them.
Randy.
next prev parent reply other threads:[~2011-01-18 22:13 UTC|newest]
Thread overview: 96+ messages / expand[flat|nested] mbox.gz Atom feed top
2011-01-17 5:07 AWS Coding Styles (and about boring plain-linear text files in the end) Yannick Duchêne (Hibou57)
2011-01-17 5:18 ` Yannick Duchêne (Hibou57)
2011-01-21 4:06 ` Yannick Duchêne (Hibou57)
2011-01-17 6:43 ` Shark8
2011-01-17 10:22 ` Yannick Duchêne (Hibou57)
2011-01-17 10:23 ` pascal.obry
2011-01-17 10:49 ` Simon Wright
2011-01-17 10:54 ` pascal.obry
2011-01-18 19:07 ` Florian Weimer
2011-01-18 19:47 ` Adam Beneschan
2011-01-18 20:44 ` Florian Weimer
2011-01-18 21:03 ` Adam Beneschan
2011-01-18 22:16 ` Yannick Duchêne (Hibou57)
2011-01-19 6:58 ` Simon Wright
2011-01-19 9:15 ` Yannick Duchêne (Hibou57)
2011-01-19 20:16 ` Simon Wright
2011-01-19 22:42 ` Peter C. Chapin
2011-01-19 22:21 ` Florian Weimer
2011-01-20 1:52 ` Stephen Leake
2011-01-18 20:23 ` Pascal Obry
2011-01-18 21:39 ` Georg Bauhaus
2011-01-18 22:13 ` Randy Brukardt [this message]
2011-01-19 0:47 ` Georg Bauhaus
2011-01-19 1:06 ` Yannick Duchêne (Hibou57)
2011-01-19 7:00 ` J-P. Rosen
2011-01-19 8:53 ` Yannick Duchêne (Hibou57)
2011-01-19 10:04 ` Georg Bauhaus
2011-01-19 11:42 ` Yannick Duchêne (Hibou57)
2011-01-19 13:17 ` Georg Bauhaus
2011-01-19 21:56 ` Yannick Duchêne (Hibou57)
2011-01-19 23:34 ` Georg Bauhaus
2011-03-16 18:28 ` Yannick Duchêne (Hibou57)
2011-03-16 20:13 ` Shark8
2011-03-16 21:51 ` Randy Brukardt
2011-03-16 22:01 ` Yannick Duchêne (Hibou57)
2011-03-19 1:47 ` Randy Brukardt
2011-03-16 19:59 ` Yannick Duchêne (Hibou57)
2011-01-18 22:20 ` Yannick Duchêne (Hibou57)
2011-01-18 22:11 ` Yannick Duchêne (Hibou57)
2011-05-25 20:43 ` Yannick Duchêne (Hibou57)
2011-01-17 13:47 ` Bill Findlay
2011-01-17 14:02 ` Yannick Duchêne (Hibou57)
2011-01-17 21:12 ` Simon Wright
2011-01-18 8:03 ` Stephen Leake
2011-01-18 20:41 ` Simon Wright
2011-01-18 0:45 ` Adam Beneschan
2011-01-18 1:40 ` Bill Findlay
2011-01-19 11:12 ` Stephen Leake
2011-01-18 6:07 ` Yannick Duchêne (Hibou57)
2011-01-18 6:07 ` Yannick Duchêne (Hibou57)
2011-01-18 8:04 ` Stephen Leake
2011-01-18 9:11 ` pascal.obry
2011-01-19 11:17 ` Stephen Leake
2011-01-19 11:53 ` Yannick Duchêne (Hibou57)
2011-01-18 8:22 ` Dmitry A. Kazakov
2011-01-18 8:50 ` Georg Bauhaus
2011-01-18 14:20 ` sjw
2011-01-18 15:41 ` Adam Beneschan
2011-01-18 0:58 ` Adam Beneschan
2011-01-18 1:43 ` Bill Findlay
2011-01-18 6:10 ` Yannick Duchêne (Hibou57)
2011-01-18 7:02 ` Pascal Obry
2011-01-18 7:14 ` Thomas Løcke
2011-01-18 7:26 ` Yannick Duchêne (Hibou57)
2011-01-18 12:42 ` Peter C. Chapin
2011-01-18 21:09 ` Yannick Duchêne (Hibou57)
2011-01-18 22:01 ` Randy Brukardt
2011-01-18 22:35 ` Yannick Duchêne (Hibou57)
2011-01-18 23:37 ` tmoran
2011-01-20 2:14 ` Randy Brukardt
2011-01-18 8:06 ` Stephen Leake
2011-01-18 8:54 ` Georg Bauhaus
2011-01-18 15:45 ` Adam Beneschan
2011-01-18 22:03 ` Yannick Duchêne (Hibou57)
2011-01-19 7:19 ` J-P. Rosen
2011-01-19 9:07 ` Yannick Duchêne (Hibou57)
2011-01-19 13:31 ` J-P. Rosen
2011-01-20 1:53 ` Stephen Leake
2011-01-19 9:13 ` Dmitry A. Kazakov
2011-01-19 9:28 ` Yannick Duchêne (Hibou57)
2011-01-19 10:04 ` Dmitry A. Kazakov
2011-01-19 12:16 ` Yannick Duchêne (Hibou57)
2011-01-24 5:13 ` Yannick Duchêne (Hibou57)
2011-01-24 8:29 ` Yannick Duchêne (Hibou57)
2011-01-19 13:39 ` J-P. Rosen
2011-01-19 14:20 ` Dmitry A. Kazakov
2011-01-19 14:52 ` J-P. Rosen
2011-01-19 15:25 ` Dmitry A. Kazakov
2011-01-19 21:43 ` Yannick Duchêne (Hibou57)
2011-01-19 22:20 ` Dmitry A. Kazakov
2011-01-19 21:47 ` Yannick Duchêne (Hibou57)
2011-01-21 19:17 ` Robert Matthews
2011-01-21 19:54 ` Yannick Duchêne (Hibou57)
2011-01-19 18:02 ` Jeffrey Carter
2011-01-19 11:21 ` Stephen Leake
2011-01-19 13:32 ` Yannick Duchêne (Hibou57)
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox