comp.lang.ada
 help / color / mirror / Atom feed
From: Simon Wright <simon@pushface.org>
Subject: Re: Microsoft is considering moving to Rust; potential opportunity for Ada2020
Date: Fri, 19 Jul 2019 23:07:05 +0100
Date: 2019-07-19T23:07:05+01:00	[thread overview]
Message-ID: <ly5znx7k6u.fsf@pushface.org> (raw)
In-Reply-To: 871ryop74h.fsf@nightsong.com

Paul Rubin <no.email@nospam.invalid> writes:

> Optikos <optikos@verizon.net> writes:
>> Yes, I also was wondering why Microsoft isn't fervently exploring
>> adding a Rust-esque borrow checker to C#
>
> C# is garbage collected, I thought.  No need for anything like a
> borrow checker.

GC is about safely disposing of memory that's no longer accessible from
anywhere in the program.

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.

  parent reply	other threads:[~2019-07-19 22:07 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 [this message]
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
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