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: Wed, 4 Jul 2018 23:21:07 +0200
Organization: A noiseless patient Spider
Message-ID: <phjdo4$2g9$1@dont-email.me>
References: <70c11a71-3832-4f57-8127-f3f1c48a052f@googlegroups.com>
 <ly1scotsqq.fsf@pushface.org>
 <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>
Reply-To: nonlegitur@notmyhomepage.de
Mime-Version: 1.0
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Wed, 4 Jul 2018 21:21:08 -0000 (UTC)
Injection-Info: reader02.eternal-september.org;
 posting-host="e2afc3e788f3c40921cdc92cfee407d6";
	logging-data="2569"; mail-complaints-to="abuse@eternal-september.org";
	posting-account="U2FsdGVkX18FXeooQH9/cXNXiBG50pHaGe22hfTRqJ4="
User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.13; rv:52.0)
 Gecko/20100101 Thunderbird/52.8.0
Cancel-Lock: sha1:MEB2EFBzombhCKmuL4cxKx9iieU=
In-Reply-To: <phjc7u$n73$1@gioia.aioe.org>
Content-Language: de-DE
Xref: reader02.eternal-september.org comp.lang.ada:53624
Date: 2018-07-04T23:21:07+02:00
List-Id: <comp.lang.ada>

On 04.07.18 22:55, Dmitry A. Kazakov wrote:
> On 2018-07-04 22:40, G. B. wrote:
>> Dmitry A. Kazakov <mailbox@dmitry-kazakov.de> wrote:
>>> On 2018-07-04 21:02, G. B. wrote:
>>>> Dmitry A. Kazakov <mailbox@dmitry-kazakov.de> 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.


>> I’d not want encoding here.
> 
> There is always some.

Not in source, where design is fixed explicitly.

>  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.