From: Brad Moore <bmoore.ada@gmail.com>
Subject: Re: Microsoft is considering moving to Rust; potential opportunity for Ada2020
Date: Tue, 6 Aug 2019 13:04:33 -0700 (PDT)
Date: 2019-08-06T13:04:33-07:00 [thread overview]
Message-ID: <ca44bf45-b02e-4b20-98ea-848acc43080f@googlegroups.com> (raw)
In-Reply-To: <a4442018-ba84-4fd0-a5c3-8f33f3fc8012@googlegroups.com>
On Tuesday, August 6, 2019 at 11:56:06 AM UTC-6, Optikos wrote:
> How much of a borrow-checker-esque approach is going to appear in Ada202X, especially now that the timeline is extended?
Likely we are looking at just what is provided by AI12-240,
see
http://www.ada-auth.org/cgi-bin/cvsweb.cgi/ai12s/ai12-0240-6.txt?rev=1.7
which is to provide a low-level minimal framework that can be built upon to provide more elaborate ownership based solutions. That is, we aren't at a point yet to provide a complete solution, and we don't want to standardise something before we have more confidence that it is the right solution. But it is thought that AI12-240 provides a common ground that is general enough to be applicable to whatever solution we might eventually end up with.
Brad
next prev parent reply other threads:[~2019-08-06 20:04 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
2019-08-08 9:25 ` Alejandro R. Mosteo
2019-08-06 17:56 ` Optikos
2019-08-06 20:04 ` Brad Moore [this message]
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