comp.lang.ada
 help / color / mirror / Atom feed
From: "Jeffrey R. Carter" <spam.jrcarter.not@spam.not.acm.org>
Subject: Re: Type naming conventions: Any_Foo
Date: Sun, 8 Dec 2019 12:59:11 +0100
Date: 2019-12-08T12:59:11+01:00	[thread overview]
Message-ID: <qsioig$nf2$2@dont-email.me> (raw)
In-Reply-To: <h51ireF9etlU1@mid.individual.net>

On 12/7/19 1:05 PM, Niklas Holsti wrote:
> On 2019-12-07 12:19, Jeffrey R. Carter wrote:
>> On 12/6/19 10:55 PM, Niklas Holsti wrote:
>>> On 2019-12-06 22:11, Jeffrey R. Carter wrote:
>>>> On 12/5/19 10:33 PM, Niklas Holsti wrote:
>>>>>
>>>>>     Weapon : Weapon_Id;
>>>>>
>>>>> The variable Weapon does not represent a Weapon; it represents an 
>>>>> identifier of a Weapon, so the name Weapon is IMO a little misleading.
>>>>
>>>> Obviously there are no weapons in the S/W; there are only bit patterns that 
>>>> you have decided to interpret in various ways. But if you're modeling the 
>>>> problem space and it contains something called Weapon, then your software 
>>>> had better have something named Weapon it in, too.
>>>
>>> Agreed.
>>
>> And obviously the thing in the software named Weapon contains a bit pattern 
>> that you interpret as identifying the actual Weapon in the problem space.
> 
> Yes, there may be some "identifier" bits, if (for some reason) Weapons need 
> identifiers.
> 
>> In other words, Weapon contains a Weapon identifier, 
> 
> Possibly, but the internal model of a weapon usually contains much more than 
> just an identifier: it contains bits that define the properties and state of the 
> weapon.
> 
>> and the declaration is not misleading at all.
> 
> If all the program knows of a weapon is its identifier (Weapon_Id), your 
> approach is tolerable (but I still don't like it). If the program has more 
> knowledge of the weapons, so that there is a type Weapon in addition to the type 
> Weapon_Id, I remain firm in my view.

The discussion is whether, given an enumeration named Weapon_Id, the declaration 
above is misleading. Whether the declaration makes sense in a given application 
is irrelevant.

-- 
Jeff Carter
"If you don't get the President of the United States on that
phone, ... you're going to have to answer to the Coca-Cola
Company."
Dr. Strangelove
32


  reply	other threads:[~2019-12-08 11:59 UTC|newest]

Thread overview: 42+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2019-12-04 13:56 Type naming conventions: Any_Foo Alejandro R. Mosteo
2019-12-04 14:52 ` Lucretia
2019-12-04 16:42   ` Alejandro R. Mosteo
2019-12-05 10:51     ` AdaMagica
2019-12-05 17:27       ` Jeffrey R. Carter
2019-12-05 17:45         ` Dmitry A. Kazakov
2019-12-05 20:03           ` Jeffrey R. Carter
2019-12-05 21:51             ` Dmitry A. Kazakov
2019-12-05 23:12               ` Randy Brukardt
2019-12-06 20:20                 ` Jeffrey R. Carter
2019-12-07  1:19                   ` Randy Brukardt
2019-12-06 20:18               ` Jeffrey R. Carter
2019-12-06 20:35                 ` Dmitry A. Kazakov
2019-12-07  0:57                   ` Randy Brukardt
2019-12-07 10:28                     ` Jeffrey R. Carter
2019-12-07 12:36                       ` Niklas Holsti
2019-12-08 12:04                         ` Jeffrey R. Carter
2019-12-07 10:13                   ` Jeffrey R. Carter
2019-12-07 11:21                     ` Dmitry A. Kazakov
2019-12-08 11:55                       ` Jeffrey R. Carter
2019-12-08 12:38                         ` Dmitry A. Kazakov
2019-12-08 14:31                         ` Shark8
2019-12-08 21:58                           ` Jeffrey R. Carter
2019-12-09 22:47                             ` Shark8
2019-12-07 23:24                     ` Jere
2019-12-08 12:14                       ` Jeffrey R. Carter
2019-12-09 22:07                         ` Randy Brukardt
2019-12-05 19:49         ` Niklas Holsti
2019-12-05 20:47           ` Jeffrey R. Carter
2019-12-05 21:33             ` Niklas Holsti
2019-12-06 11:44               ` Lucretia
2019-12-06 20:23                 ` Jeffrey R. Carter
2019-12-06 20:11               ` Jeffrey R. Carter
2019-12-06 20:46                 ` Dmitry A. Kazakov
2019-12-06 21:55                 ` Niklas Holsti
2019-12-07 10:19                   ` Jeffrey R. Carter
2019-12-07 12:05                     ` Niklas Holsti
2019-12-08 11:59                       ` Jeffrey R. Carter [this message]
2019-12-06  8:57       ` AdaMagica
2019-12-06  9:55         ` J-P. Rosen
2019-12-06 15:30       ` Optikos
2019-12-07  3:34 ` Shark8
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox