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=-1.9 required=5.0 tests=BAYES_00
	autolearn=unavailable autolearn_force=no version=3.4.4
Path: 
 eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!news.eternal-september.org!news.eternal-september.org!feeder.eternal-september.org!aioe.org!.POSTED!not-for-mail
From: "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>
Newsgroups: comp.lang.ada
Subject: Re: Community Input for the Maintenance and Revision of the Ada
 Programming Language
Date: Sat, 26 Aug 2017 08:29:41 +0200
Organization: Aioe.org NNTP Server
Message-ID: <onr4gm$hhd$1@gioia.aioe.org>
References: <oludae$seh$1@franka.jacob-sparre.dk>
 <79e06550-67d7-45b3-88f8-b7b3980ecb20@googlegroups.com>
 <9d4bc8aa-cc44-4c30-8385-af0d29d49b36@googlegroups.com>
 <1395655516.524005222.638450.laguest-archeia.com@nntp.aioe.org>
 <omgrf6$5nf$1@dont-email.me>
 <4527d955-a6fe-4782-beea-e59c3bb69f21@googlegroups.com>
 <22c5d2f4-6b96-4474-936c-024fdbed6ac7@googlegroups.com>
 <aab7a027-f0e8-4278-bc5c-9492ca4ccefe@googlegroups.com>
 <bb411331-1b73-47a5-b38c-7405e972dcf6@googlegroups.com>
 <c1c92180-6253-41c7-a33f-e066c69d15aa@googlegroups.com>
 <on8udb$14po$1@gioia.aioe.org>
 <3f04ecdc-2672-4051-948f-37ce5446dbac@googlegroups.com>
 <on9rbf$j5s$1@gioia.aioe.org>
 <0950da12-a618-441a-95bb-9ad4c08ce6d9@googlegroups.com>
 <ongmqt$m4a$1@gioia.aioe.org>
 <972e5656-9c05-4f83-bdb3-368e65beeabe@googlegroups.com>
NNTP-Posting-Host: MajGvm9MbNtGBKE7r8NgYA.user.gioia.aioe.org
Mime-Version: 1.0
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 7bit
X-Complaints-To: abuse@aioe.org
User-Agent: Mozilla/5.0 (Windows NT 10.0; WOW64; rv:52.0) Gecko/20100101
 Thunderbird/52.3.0
X-Notice: Filtered by postfilter v. 0.8.2
Content-Language: en-US
Xref: news.eternal-september.org comp.lang.ada:47810
Date: 2017-08-26T08:29:41+02:00
List-Id: <comp.lang.ada>

On 2017-08-26 06:41, Robert Eachus wrote:
> On Tuesday, August 22, 2017 at 3:34:56 AM UTC-4, Dmitry A. Kazakov wrote:
>>> What you want is a tagged type URL.
>>
>> Typed with all types necessary. E.g. we need an operations to iterate
>> directory nodes etc.
>>
>>> The base type could have conversions to/from string, with child types
>>> like local_path, etc.,
>>
>> I don't directly see how the above types should be rooted in the same
>> parent. File version has nothing to do with MIME type.
> 
> You are missing the concept.

Certainly

> A URL is well defined today.

I don't see how URL is relevant to this at all.

The point was that path identifying a node in a tree of directories 
should not be represented by a string type in a language like Ada.

-- 
Regards,
Dmitry A. Kazakov
http://www.dmitry-kazakov.de