From: Jere <jhb.chat@gmail.com>
Subject: Re: Microsoft is considering moving to Rust; potential opportunity for Ada2020
Date: Wed, 7 Aug 2019 19:13:21 -0700 (PDT)
Date: 2019-08-07T19:13:21-07:00 [thread overview]
Message-ID: <b0af2648-aced-41ca-a3fb-a2c38c847f63@googlegroups.com> (raw)
In-Reply-To: <qie4fh$t00$2@dont-email.me>
On Wednesday, August 7, 2019 at 5:09:06 AM UTC-4, Alejandro R. Mosteo wrote:
> 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.
I think at some point before the language was first stabilized (2015),
both were actively pursued. Here are some musings from the original main
developer back in 2013ish [1]. Later on, another Mozilla developer also
talked about a similar topic [2].
[1]: http://smallcultfollowing.com/babysteps/blog/2013/06/11/on-the-connection-between-memory-management-and-data-race-freedom/
[2]: https://manishearth.github.io/blog/2015/05/17/the-problem-with-shared-mutability/
It is interesting that both of them kind of hint at the idea of a large
single threaded program having similar challenges to a multithreaded
program, at least when considering how undefined behavior, data
invalidation, and data races occur.
next prev parent reply other threads:[~2019-08-08 2:13 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
2019-08-08 2:13 ` Jere [this message]
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