From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-0.3 required=5.0 tests=BAYES_00,
	REPLYTO_WITHOUT_TO_CC autolearn=no autolearn_force=no version=3.4.4
Path: 
 eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!.POSTED!not-for-mail
From: "G.B." <bauhaus@notmyhomepage.invalid>
Newsgroups: comp.lang.ada
Subject: Re: Strange crash on custom iterator
Date: Fri, 6 Jul 2018 10:28:52 +0200
Organization: A noiseless patient Spider
Message-ID: <phn984$jnm$1@dont-email.me>
References: <70c11a71-3832-4f57-8127-f3f1c48a052f@googlegroups.com>
 <62e38ee4-f72f-4ed8-bef1-952040fb7f8d@googlegroups.com>
 <lytvpks65b.fsf@pushface.org>
 <64d8b4a1-a92c-4b90-b95c-e821749de969@googlegroups.com>
 <lya7rc9iw0.fsf@pushface.org>
 <887212304.552080112.848502.laguest-archeia.com@nntp.aioe.org>
 <87muvan83x.fsf@adaheads.home> <ly4lhiafs8.fsf@pushface.org>
 <1449870001.552246132.581310.laguest-archeia.com@nntp.aioe.org>
 <lyzhz98lvh.fsf@pushface.org>
 <b0d7482d-3c02-4e0b-8720-58ee5b65af03@googlegroups.com>
 <phg0h7$10dd$1@gioia.aioe.org>
 <c980d621-6d5d-4a23-8005-733bb024285d@googlegroups.com>
 <phg5nk$1a46$1@gioia.aioe.org> <phg6cg$1ba2$1@gioia.aioe.org>
 <bd52280b-662a-49b3-891d-e39044e2bf32@googlegroups.com>
 <phg8lo$1fnq$1@gioia.aioe.org> <phht7f$1vj2$1@gioia.aioe.org>
 <phhuei$1v6$1@gioia.aioe.org> <phj5kv$dmt$1@dont-email.me>
 <phj6di$d1r$1@gioia.aioe.org> <phjbbj$j5p$1@dont-email.me>
 <phjc7u$n73$1@gioia.aioe.org> <phjdo4$2g9$1@dont-email.me>
 <phkisu$d4r$1@gioia.aioe.org>
Reply-To: nonlegitur@notmyhomepage.de
Mime-Version: 1.0
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Fri, 6 Jul 2018 08:28:52 -0000 (UTC)
Injection-Info: reader02.eternal-september.org;
 posting-host="009f998488567c1948f32222d33fdd47";
	logging-data="20214"; mail-complaints-to="abuse@eternal-september.org";
	posting-account="U2FsdGVkX19qsCI6pJaqwv+pUTp7LDVR354JPqDHUVc="
User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.13; rv:52.0)
 Gecko/20100101 Thunderbird/52.8.0
Cancel-Lock: sha1:jtcQZ5tRGftbvYdEQL8xWznDcQE=
In-Reply-To: <phkisu$d4r$1@gioia.aioe.org>
Content-Language: de-DE
Xref: reader02.eternal-september.org comp.lang.ada:53687
Date: 2018-07-06T10:28:52+02:00
List-Id: <comp.lang.ada>

On 05.07.18 09:55, Dmitry A. Kazakov wrote:

>>>>>>> Back to the square
>>>>>>> one, how to design an UTF-8 string type?
>>>>>>
>>>>>> Never.
>>>>>>
>>>>>> What is the proper representation of 3?
>>>>>
>>>>> What is 3 here?
>>>>
>>>> It names a value of some type.
>>>
>>> Which type? You name the type,
>>
>> Any type whose objects' values include the value 3
>> and which does not specify a representation in source,
>> like Standard.Integer.
> 
>  The representation of a class-wide object is (Tag, Value). 

Obviously, 3 is not, given integers in Ada. Also, your use of
"representation" seems to exclude Ada representation of
the Value part the pair introduced above. How's that?

So, is your "representation" an enthymeme that stipulates
some definitions affecting 3 in Ada source texts?

> So, name the specific type and you get the representation.

What is the representation declared by Standard.Integer?

> There is no values and representations of without types.

A red herring.

>>>> I’d not want encoding here.
>>>
>>> There is always some.
>>
>> Not in source, where design is fixed explicitly.

Anything on this one?

>>>  But I still have no idea what you want to say by that.
>>
>> A properly typed procedure object handles the use case of
>> encoding I/O in a type safe way. The type is not that of
>> string-with-something composites. It is the type which covers
>> the use case procedurally.
> 
> I do not quite understand this either, but it sounds more right than wrong. So?

So stop considering type for just data objects, consider types for
operation objects instead and then need to perpetually entangle
string objects with encoding objects is gone.

P.S.: A question is neither a proposition nor an example, but
it has been helpful in the past.