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!mx02.eternal-september.org!feeder.eternal-september.org!gandalf.srv.welterde.de!news.jacob-sparre.dk!loke.jacob-sparre.dk!pnx.dk!.POSTED!not-for-mail
From: Jacob Sparre Andersen <sparre@nbi.dk>
Newsgroups: comp.lang.ada
Subject: Re: Build language with weak typing,
 then add scaffolding later to strengthen it?
Date: Fri, 29 May 2015 11:31:31 +0200
Organization: Jacob Sparre Andersen Research & Innovation
Message-ID: <87a8wnu3v0.fsf@adaheads.sparre-andersen.dk>
References: <mjlale$dpk$1@speranza.aioe.org>
	<127b004d-2163-477b-9209-49d30d2da5e1@googlegroups.com>
	<mjn90s$9av$1@dont-email.me>
	<f89a678a-f4a3-4a1c-91d7-d465177bbb1d@googlegroups.com>
	<mjnieh$ejn$1@dont-email.me>
	<ad8483c7-8f3c-4469-9079-a97ca3abaf27@googlegroups.com>
	<mjnpkt$b6j$1@dont-email.me>
	<59a4ee45-23fb-4b0e-905c-cc16ce46b5f6@googlegroups.com>
	<mjo0mk$7qu$1@dont-email.me>
	<46b2dce1-2a1c-455d-b041-3a9d217e2c3f@googlegroups.com>
	<mjpsdi$6cq$1@dont-email.me>
	<ac78c8c6-de94-4f92-afcb-c1ae78523245@googlegroups.com>
	<mk85s3$uee$1@loke.gir.dk>
NNTP-Posting-Host: 109.56.223.236.mobile.3.dk
Mime-Version: 1.0
Content-Type: text/plain; charset=us-ascii
X-Trace: loke.gir.dk 1432891892 8313 109.56.223.236 (29 May 2015 09:31:32 GMT)
X-Complaints-To: news@jacob-sparre.dk
NNTP-Posting-Date: Fri, 29 May 2015 09:31:32 +0000 (UTC)
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/23.4 (gnu/linux)
Cancel-Lock: sha1:KByNbClD1X/ywr62nbhTK3XPNrc=
Xref: news.eternal-september.org comp.lang.ada:26056
Date: 2015-05-29T11:31:31+02:00
List-Id: <comp.lang.ada>

Randy Brukardt wrote:

> We don't. As with all old languages, it's political. We can't remove
> old features (as that would break existing programs),

But aren't the existing programs being compiled with compilers for the
appropriate (old) versions of the language?

How large is the actual benefit of maintaining practically full
backwards compatibility?

Isn't it more a matter of not being able to agree on what is important
to keep, and what isn't?

> I'd think it's getting close to time to start over with Ada, not
> because of any major problem, but simply the accumulation of
> cruft. The problem is that if you think its hard to convince people to
> use Ada with all of its track record, try doing that with a new
> language with no record. So I don't think there would be much of a
> market for that.

Isn't that in itself an argument for letting Ada 2020 be a major change,
where backwards compatibility isn't as important as using our current
knowledge to improve the language?  I wouldn't want an Ada 2012 program
to be accepted by an Ada 2020 compiler with a different meaning, but I
wouldn't mind it if the Ada 2020 compiler told me that I have to do
things differently in Ada 2020.

Greetings,

Jacob
-- 
"It is very easy to get ridiculously confused about the
 tenses of time travel, but most things can be resolved
 by a sufficiently large ego."