comp.lang.ada
 help / color / mirror / Atom feed
From: Paul Rubin <no.email@nospam.invalid>
Subject: Re: Microsoft is considering moving to Rust; potential opportunity for Ada2020
Date: Fri, 19 Jul 2019 15:12:08 -0700
Date: 2019-07-19T15:12:08-07:00	[thread overview]
Message-ID: <87wogdoerr.fsf@nightsong.com> (raw)
In-Reply-To: ly5znx7k6u.fsf@pushface.org

Simon Wright <simon@pushface.org> writes:
> Borrow checking (AIUI) is about making sure that only one part of the
> program has write access to a particular piece of memory at once.

Oh ok, for concurrency, good point.  Java uses "synchronized" for that
but it's not statically checked.


  reply	other threads:[~2019-07-19 22:12 UTC|newest]

Thread overview: 23+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2019-07-17 18:17 Microsoft is considering moving to Rust; potential opportunity for Ada2020 Optikos
2019-07-17 18:53 ` Maciej Sobczak
2019-07-17 22:59   ` Optikos
2019-07-17 23:35     ` Paul Rubin
2019-07-18  0:29       ` Optikos
2019-07-19 22:07       ` Simon Wright
2019-07-19 22:12         ` Paul Rubin [this message]
2019-08-06 17:01         ` Alejandro R. Mosteo
2019-08-06 17:49           ` Brad Moore
2019-08-07  9:09             ` Alejandro R. Mosteo
2019-08-08  2:13               ` Jere
2019-08-08  9:25                 ` Alejandro R. Mosteo
2019-08-06 17:56           ` Optikos
2019-08-06 20:04             ` Brad Moore
2019-08-07  9:07             ` Alejandro R. Mosteo
2019-07-25 18:40 ` G. B.
2019-07-26 14:12   ` Shark8
2019-08-15 15:39     ` Norman Worth
2019-10-01  8:04       ` Mehdi Saada
2019-10-02 17:11         ` Shark8
2019-07-26 14:11 ` Shark8
2019-07-27 20:03   ` Optikos
2019-07-27 20:17     ` Optikos
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox