From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on ip-172-31-74-118.ec2.internal X-Spam-Level: X-Spam-Status: No, score=-2.9 required=3.0 tests=BAYES_00,NICE_REPLY_A autolearn=ham autolearn_force=no version=3.4.6 Path: eternal-september.org!reader02.eternal-september.org!.POSTED!not-for-mail From: "J-P. Rosen" Newsgroups: comp.lang.ada Subject: Re: Adacore joins with Ferrous Systems to support Rust Date: Sun, 13 Feb 2022 09:10:01 +0100 Organization: Adalog Message-ID: References: <87o83pzlvm.fsf@nightsong.com> <87d2e0c1-c851-43e2-a085-fad30e475e35n@googlegroups.com> <70f72b7e-1f3f-4942-b6aa-1044430bdcd9n@googlegroups.com> Mime-Version: 1.0 Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 8bit Injection-Date: Sun, 13 Feb 2022 08:10:01 -0000 (UTC) Injection-Info: reader02.eternal-september.org; posting-host="b76a46b5665ee158a9c9dd6122083f05"; logging-data="30123"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX1994UI8nCbhUwGoQjadk9uU" User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:91.0) Gecko/20100101 Thunderbird/91.5.1 Cancel-Lock: sha1:2RuIjLyxwkisnqJ2WGdM9tT+4+M= In-Reply-To: Content-Language: fr Xref: reader02.eternal-september.org comp.lang.ada:63502 List-Id: Le 12/02/2022 à 19:24, Alejandro R. Mosteo a écrit : > I agree here. Rust prevents misuse of global variables at the low level > of simultaneous access (from what you referenced before). This certainly > can be useful in refactorings going from a single- to a multi-threaded > design. In Ada you'd have to inspect every package for global state. > SPARK deals with that, of course, but again: not Ada. AdaControl has a rule for that: Global_References -- J-P. Rosen Adalog 2 rue du Docteur Lombard, 92441 Issy-les-Moulineaux CEDEX Tel: +33 1 45 29 21 52 https://www.adalog.fr