comp.lang.ada
 help / color / mirror / Atom feed
From: Jeffrey Carter <spam.jrcarter.not@spam.not.acm.org>
Subject: Re: Depth First Search of a Char_Matrix?
Date: Sat, 27 Apr 2013 20:26:09 -0700
Date: 2013-04-27T20:26:09-07:00	[thread overview]
Message-ID: <kli4mf$mq2$1@dont-email.me> (raw)
In-Reply-To: <51cf6f75-c19b-4e08-a2be-f3133eedccfa@googlegroups.com>

On 04/27/2013 11:16 AM, Shark8 wrote:
> On Saturday, April 27, 2013 11:25:57 AM UTC-6, Jeffrey Carter wrote:
>>
>> There is absolutely no reason to use access types (especially not
>> anonymous access types) or addresses for this problem.
>
> Sure, but there's no real reason not to: the illustration was simply a DFS on
> something that might-not-exist and so null/some-object map to that perfectly
> fine. (It's an error to ask "what color is the piece at X,Y?" when the
> element X,Y contains no piece; this situation must be addressed somewhere,
> and access/null works.)

Yes, there are very good reasons not to.

Zero/non-zero map to that perfectly fine, too, and don't carry with them all the
opportunities of error that the manual memory management of access types do. But
the fact is, this is a Boolean value and should be modeled as such.

To the OP:

Good Ada code never contains visible access types, nor non-visible access types
that aren't absolutely essential.

Addresses should never appear in code that doesn't absolutely have to be
non-portable.

-- 
Jeff Carter
"Sheriff murdered, crops burned, stores looted,
people stampeded, and cattle raped."
Blazing Saddles
35



  parent reply	other threads:[~2013-04-28  3:26 UTC|newest]

Thread overview: 23+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2013-04-27 14:09 Depth First Search of a Char_Matrix? Alex
2013-04-27 15:35 ` Shark8
2013-04-27 17:25   ` Jeffrey Carter
2013-04-27 18:16     ` Shark8
2013-04-27 18:48       ` Dmitry A. Kazakov
2013-04-27 18:58         ` Shark8
2013-04-27 20:16           ` Dmitry A. Kazakov
2013-04-27 19:31       ` Simon Wright
2013-04-27 20:04         ` Shark8
2013-04-28  3:26       ` Jeffrey Carter [this message]
2013-04-27 16:27 ` Alex
2013-04-27 16:34   ` Shark8
2013-04-27 16:51     ` Alex
2013-04-27 16:55       ` Alex
2013-04-27 19:05       ` Shark8
2013-04-27 22:54         ` Alex
2013-04-27 22:56         ` Alex
2013-04-27 23:34           ` Shark8
2013-04-27 23:38             ` Alex
2013-04-29 20:55             ` Alex
2013-04-29 23:40               ` Jeffrey Carter
2013-04-30 10:49               ` AdaMagica
2013-04-28 10:50 ` AdaMagica
replies disabled

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