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!.POSTED!not-for-mail
From: Simon Wright <simon@pushface.org>
Newsgroups: comp.lang.ada
Subject: Re: Microsoft is considering moving to Rust;
 potential opportunity for Ada2020
Date: Fri, 19 Jul 2019 23:07:05 +0100
Organization: A noiseless patient Spider
Message-ID: <ly5znx7k6u.fsf@pushface.org>
References: <01e1fc91-a20e-4b48-a10e-57d3935cd06c@googlegroups.com>
	<b9528bc1-55e0-4de6-b255-f13e55a0680c@googlegroups.com>
	<0d4e46d4-c227-4d7a-aafa-44492c6e1d41@googlegroups.com>
	<871ryop74h.fsf@nightsong.com>
Mime-Version: 1.0
Content-Type: text/plain
Injection-Info: reader02.eternal-september.org;
 posting-host="74aabad52104bfc776634f74e8288ace";
	logging-data="17105"; mail-complaints-to="abuse@eternal-september.org";
	posting-account="U2FsdGVkX1/sHhSyAz37UeU0BV7zAKTugYfwqWBVQfY="
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/26.1 (darwin)
Cancel-Lock: sha1:lY83meUsTEtaN08LeBNiltw2XXo=
	sha1:SXjObVdznySmSDJckMZcslOK/Ls=
Xref: reader01.eternal-september.org comp.lang.ada:56892
Date: 2019-07-19T23:07:05+01:00
List-Id: <comp.lang.ada>

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.