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!news.eternal-september.org!feeder.eternal-september.org!newsfeed.fsmpi.rwth-aachen.de!reality.xs3.de!news.jacob-sparre.dk!loke.jacob-sparre.dk!pnx.dk!.POSTED!not-for-mail
From: Tero Koskinen <tero.koskinen@iki.fi>
Newsgroups: comp.lang.ada
Subject: Re: a new language, designed for safety !
Date: Sun, 15 Jun 2014 09:33:44 +0300
Organization: Jacob Sparre Andersen Research & Innovation
Message-ID: <lnjeof$h63$1@loke.gir.dk>
References: <lmj8s6$hhp$1@speranza.aioe.org>
	<1402308235.2520.153.camel@pascal.home.net>	<85ioo9yukk.fsf@stephe-leake.org>
 <ln6tlg$1vc$1@dont-email.me>
	<255b51cd-b23f-4413-805a-9fea3c70d8b2@googlegroups.com>
	<J3rmv.287368$Nf2.155042@fx01.iad>
 <lndulo$2d1$1@dont-email.me>	<5b446648-8193-46c4-b99c-015d86983758@googlegroups.com>
 <lyppidne4p.fsf@pushface.org>
NNTP-Posting-Host: 87-95-74-38.bb.dnainternet.fi
Mime-Version: 1.0
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: 7bit
X-Trace: loke.gir.dk 1402814031 17603 87.95.74.38 (15 Jun 2014 06:33:51 GMT)
X-Complaints-To: news@jacob-sparre.dk
NNTP-Posting-Date: Sun, 15 Jun 2014 06:33:51 +0000 (UTC)
User-Agent: Mozilla/5.0 (Windows NT 6.3; WOW64;
 rv:24.0) Gecko/20100101 Thunderbird/24.6.0
In-Reply-To: <lyppidne4p.fsf@pushface.org>
X-Enigmail-Version: 1.6
Xref: news.eternal-september.org comp.lang.ada:20309
Date: 2014-06-15T09:33:44+03:00
List-Id: <comp.lang.ada>

13.6.2014 16:16, Simon Wright wrote:
> gvdschoot@gmail.com writes:
> 
>> The thing is: The languages with more options will win. You see that
>> with the Rust vs Go people. Go is a language that is close to
>> Oberon-14, with very well thought simplicity. Rust on the other hand
>> is *the* C++ replacement and it has all the features that makes code
>> hard to understand. But because of all these features it attracts the
>> developers of today. Non-determinism is a very good thing
>> IMO. Reasonability results in good code that is easy to maintain. But
>> we don't live in that world anymore.
> 
> I _hope_ you're being sarcastic.
> 

This is valid Rust code [1]:
pub fn inner<'a>(&'a mut self) -> &'a mut R
{
   &mut self.h.r
}

Yours,
 Tero

[1] https://twitter.com/damienmiller/status/476207923702423552