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!gandalf.srv.welterde.de!news.jacob-sparre.dk!franka.jacob-sparre.dk!pnx.dk!.POSTED!not-for-mail
From: Jacob Sparre Andersen <jacob@jacob-sparre.dk>
Newsgroups: comp.lang.ada
Subject: Re: State of the compiler market
Date: Fri, 30 Jun 2017 09:51:48 +0200
Organization: JSA Research & Innovation
Message-ID: <87vandyktn.fsf@jacob-sparre.dk>
References: <a319aa93-f896-48ae-9b87-489b623ab75f@googlegroups.com>
	<1813789782.509760763.093426.laguest-archeia.com@nntp.aioe.org>
	<o8ted9$8lc$1@franka.jacob-sparre.dk> <87varxjouh.fsf@nightsong.com>
	<o94ns0$t49$1@franka.jacob-sparre.dk>
	<250466748.510009784.561340.laguest-archeia.com@nntp.aioe.org>
	<a76ffd37-27e1-46a5-8fd7-38a089695af6@googlegroups.com>
	<87fuelzvcq.fsf@jacob-sparre.dk>
	<4e60ac97-7f4f-47e7-847a-e27983accd4b@googlegroups.com>
	<57c26106-4e4f-464f-83e9-fe52de614cd7@googlegroups.com>
	<ea00eec9-959e-451e-aef9-2cf5be12f6ad@googlegroups.com>
	<6529c392-f042-4dfe-8cdb-b785406ad788@googlegroups.com>
	<c92d4a7c-7c70-4699-9cc3-f47f489de6c6@googlegroups.com>
	<8643cc5f-7b09-479f-825d-8060aad7d628@googlegroups.com>
	<oj3cq9$sur$1@dont-email.me>
	<e1d64a37-0bff-4b04-84ff-a3d0480fba87@googlegroups.com>
	<oj4n8g$ls7$1@dont-email.me> <oj4u0s$18cu$1@gioia.aioe.org>
NNTP-Posting-Host: 109.57.87.176.mobile.3.dk
Mime-Version: 1.0
Content-Type: text/plain; charset=us-ascii
X-Trace: franka.jacob-sparre.dk 1498809108 29111 109.57.87.176 (30 Jun 2017
 07:51:48 GMT)
X-Complaints-To: news@jacob-sparre.dk
NNTP-Posting-Date: Fri, 30 Jun 2017 07:51:48 +0000 (UTC)
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/23.4 (gnu/linux)
Cancel-Lock: sha1:PxTjhcotVIyF0ZTUpXyvCGKMhqI=
Xref: news.eternal-september.org comp.lang.ada:47212
Date: 2017-06-30T09:51:48+02:00
List-Id: <comp.lang.ada>

Dmitry A. Kazakov wrote:

> But the point is that the language should not have string types at
> all. The type system should be capable to define things as described
> above at the library level.

And that is also how it is in Ada.

The only "hack" in Ada related to strings is that "abc" is a shortcut
for ('a', 'b', 'c').

Greetings,

Jacob
--
A: Yes.
>Q: Are you sure?
>>A: Because it reverses the logical flow of conversation.
>>>Q: Why is top posting frowned upon?