From: "Alejandro R. Mosteo" <alejandro@mosteo.com>
Subject: Re: Microsoft is considering moving to Rust; potential opportunity for Ada2020
Date: Wed, 7 Aug 2019 11:09:05 +0200
Date: 2019-08-07T11:09:05+02:00 [thread overview]
Message-ID: <qie4fh$t00$2@dont-email.me> (raw)
In-Reply-To: <f8a1dfaa-c36a-4a66-b8fd-873888091ed3@googlegroups.com>
On 6/8/19 19:49, Brad Moore wrote:
> I believe it is also not just related to concurrency. For example, if you pass a pointer to an object into a function which deletes the object, the compiler will detect that use of that pointer after calling the function is not allowed.
Yes; concurrency safety (in a limited sense) is the side-effect, not the
main point, I'd say.
next prev parent reply other threads:[~2019-08-07 9:09 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
2019-08-06 17:01 ` Alejandro R. Mosteo
2019-08-06 17:49 ` Brad Moore
2019-08-07 9:09 ` Alejandro R. Mosteo [this message]
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