From: "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>
Subject: Re: grassroots thoughts on access types
Date: Sat, 10 Feb 2018 15:44:29 +0100
Date: 2018-02-10T15:44:29+01:00 [thread overview]
Message-ID: <p5n0gc$jju$1@gioia.aioe.org> (raw)
In-Reply-To: p5mk37$dgu$1@dont-email.me
On 2018-02-10 12:12, Jeffrey R. Carter wrote:
> On 02/10/2018 11:36 AM, Dmitry A. Kazakov wrote:
>>
>> Which is a logical fallacy. In order to be true you must show that
>> either:
>>
>> 1. These feature are bad as they are regardless what they rely on
>>
>> 2. They cannot be implemented otherwise *and* their usefulness does
>> not outweigh the damage of access types.
>>
>> Both are evidently untrue.
>
> I don't understand. I said a language that doesn't have anonymous access
> types cannot have features that rely on anonymous access types. By that
> I mean such a language cannot provide a feature that requires the user
> to write an anonymous access type.
>
> I did not say that such a language cannot have any specific feature;
> only that such a language cannot have an implementation that relies on
> anonymous access types of any feature.
>
> This seems to be a tautology to me.
>
> Can you show me how a language that doesn't have anonymous access types
> can have features that rely on anonymous access types?
Ada 83 has String type implemented without pointers. Ada 83 has
A(X) := A(X) + 1
working with arrays, again, no pointers.
Why must Ada 2005 use access types for having this with containers? It
must not. Should it have this feature still. Certainly.
Pointers is a easy way to work around most of language problems at the
cost of software design.
--
Regards,
Dmitry A. Kazakov
http://www.dmitry-kazakov.de
next prev parent reply other threads:[~2018-02-10 14:44 UTC|newest]
Thread overview: 36+ messages / expand[flat|nested] mbox.gz Atom feed top
2018-02-09 0:46 grassroots thoughts on access types Mehdi Saada
2018-02-09 1:23 ` Randy Brukardt
2018-02-09 9:13 ` Simon Wright
2018-02-09 11:06 ` Dmitry A. Kazakov
2018-02-09 12:09 ` Mehdi Saada
2018-02-09 12:11 ` Mehdi Saada
2018-02-09 14:23 ` Simon Wright
2018-02-09 16:11 ` Mehdi Saada
2018-02-09 17:01 ` Jeffrey R. Carter
2018-02-09 17:19 ` Dmitry A. Kazakov
2018-02-09 19:12 ` Jeffrey R. Carter
2018-02-09 20:17 ` Robert A Duff
2018-02-09 21:44 ` Jeffrey R. Carter
2018-02-09 22:06 ` Dmitry A. Kazakov
2018-02-10 0:43 ` Mehdi Saada
2018-02-10 1:51 ` Mehdi Saada
2018-02-10 10:07 ` Jeffrey R. Carter
2018-02-10 11:57 ` Mehdi Saada
2018-02-10 14:02 ` Simon Wright
2018-02-10 15:32 ` Jeffrey R. Carter
2018-02-10 16:46 ` Mehdi Saada
2018-02-10 8:28 ` Dmitry A. Kazakov
2018-02-10 11:55 ` Mehdi Saada
2018-02-10 14:35 ` Dmitry A. Kazakov
2018-02-10 16:51 ` Simon Wright
2018-02-10 17:19 ` Dmitry A. Kazakov
2018-02-10 10:03 ` Jeffrey R. Carter
2018-02-10 10:36 ` Dmitry A. Kazakov
2018-02-10 11:12 ` Jeffrey R. Carter
2018-02-10 14:44 ` Dmitry A. Kazakov [this message]
2018-02-10 21:16 ` Robert A Duff
2018-02-11 10:47 ` Jeffrey R. Carter
2018-02-11 21:51 ` Robert A Duff
2018-02-09 20:58 ` Shark8
2018-02-09 20:32 ` G. B.
2018-02-09 20:53 ` Mehdi Saada
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox