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,FREEMAIL_FROM
	autolearn=unavailable autolearn_force=no version=3.4.4
X-Received: by 10.99.120.74 with SMTP id t71mr8154523pgc.114.1503160719920;
        Sat, 19 Aug 2017 09:38:39 -0700 (PDT)
X-Received: by 10.36.107.3 with SMTP id v3mr234393itc.2.1503160719878; Sat, 19
 Aug 2017 09:38:39 -0700 (PDT)
Path: 
 eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!news.eternal-september.org!news.eternal-september.org!feeder.eternal-september.org!news.swapon.de!weretis.net!feeder6.news.weretis.net!feeder.usenetexpress.com!feeder-in1.iad1.usenetexpress.com!border1.nntp.dca1.giganews.com!nntp.giganews.com!f16no1563002itb.0!news-out.google.com!c139ni2907itb.0!nntp.google.com!m81no1223764itb.0!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail
Newsgroups: comp.lang.ada
Date: Sat, 19 Aug 2017 09:38:39 -0700 (PDT)
In-Reply-To: <on8udb$14po$1@gioia.aioe.org>
Complaints-To: groups-abuse@google.com
Injection-Info: glegroupsg2000goo.googlegroups.com; posting-host=76.113.92.25;
 posting-account=lJ3JNwoAAAAQfH3VV9vttJLkThaxtTfC
NNTP-Posting-Host: 76.113.92.25
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>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <3f04ecdc-2672-4051-948f-37ce5446dbac@googlegroups.com>
Subject: Re: Community Input for the Maintenance and Revision of the Ada
 Programming Language
From: Shark8 <onewingedshark@gmail.com>
Injection-Date: Sat, 19 Aug 2017 16:38:39 +0000
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
Xref: news.eternal-september.org comp.lang.ada:47751
Date: 2017-08-19T09:38:39-07:00
List-Id: <comp.lang.ada>

On Saturday, August 19, 2017 at 2:55:10 AM UTC-6, Dmitry A. Kazakov wrote:
> On 2017-08-19 03:24, Shark8 wrote:
>=20
> > Moreover, thinking of directories in terms of strings leads to
> > string manipulation for referring and it is *easy* to make errors there=
.
>=20
> Exactly, but the problem is the file type system. The file path type=20
> must be a subtype of a universal string type in order to be able to write=
:
>=20
>     Open ("my_file.txt")
>=20

But the file path should NOT be inherently a string, of any type, it should=
 be a "directory-type" -- and any to/from string conversions (say from exte=
rnal sources) should be done properly -- that's the whole point I'm making:=
 a directory is NOT a string, nor should we use strings [natively] to repre=
sent them.

> instead of something like:
>=20
>     Open
>     (  Current_Node +
>        Current_Directory +
>        To_File_Name ("my_file") +
>        To_MIME_Type ("txt")
>     )

Why would we need something like the above?

Besides, the Open function having the implicit parameter of Location defaul=
ting to the "current location" would take care of half of that.