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-65-14.ec2.internal X-Spam-Level: X-Spam-Status: No, score=-1.9 required=3.0 tests=BAYES_00,T_SCC_BODY_TEXT_LINE autolearn=ham autolearn_force=no version=3.4.6 Path: eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!.POSTED!not-for-mail From: dirk@orka.cs.kuleuven.be. (Dirk Craeynest) Newsgroups: comp.lang.ada Subject: Re: who needs types? Types makes code ugly. Date: Sat, 18 Jun 2022 10:29:02 -0000 (UTC) Organization: Ada-Belgium, c/o Dept. of Computer Science, KU Leuven Message-ID: References: <66a25bd1-e92c-477a-95da-5d365a6967a2n@googlegroups.com> Injection-Date: Sat, 18 Jun 2022 10:29:02 -0000 (UTC) Injection-Info: reader02.eternal-september.org; posting-host="3d591a6de84a32a25f647a03affaa2f3"; logging-data="5269"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX186+t7hZSi6VSE+jLcVAD9wjwV1ChsC3t8=" Summary: What's new in Ada 2022? See my CLA posting of Sat, 4 Jun 2022 12:05:55 -0000 (UTC) Cancel-Lock: sha1:6LUqDp0LAfLo/M8q19CnWkXKVjM= Originator: dirk@orka.cs.kuleuven.be. (Dirk Craeynest) X-Newsreader: trn 4.0-test77 (Sep 1, 2010) Xref: reader02.eternal-september.org comp.lang.ada:63993 List-Id: >> On Friday, June 3, 2022 at 5:28:28 PM UTC-7, Randy Brukardt wrote: >>> It is not likely that there will be an Ada 2022 Rationale, as no one >>> has stepped up to write it or pay John Barnes write it. The closest >>> thing we have is the Jeff Cousins overview, which I can't find an >>> on-line reference to (or my copy, for that matter). I'll check with >>> Jeff and hopefully get more information. >"Wesley Pan" wrote [...]: >> How much would it likely cost to pay someone to generate the Ada2022 >> rationale? Maybe the community can join together to help fund the work? In article , Randy Brukardt wrote: > > Dunno, you'd have to ask John. > > I did get a copy of Jeff Cousin's overview that I'll put up on > Ada-Auth.org when I get time (probably not until next month). See my follow-up to Randy's June 3 posting quoted above, that I posted on 4 Jun in this newsgroup with subject "What's new in Ada 2022?" (copied below). Executive summary: - John Barnes wrote a 46 page overview on what's new in Ada 2022; it is available as a new appendix in his latest book "Programming in Ada 2012 with a Preview of Ada 2022"; - Jeff Cousin's overview was published in the Ada User Journal (AUJ), and is already available in the online AUJ archive. Recent addition: Earlier this week, Tucker Taft presented a very interesting half-day tutorial "Moving up to Ada 2022" at the 26th Ada-Europe International Conference on Reliable Software Technologies (AEiC 2022), held in Ghent, Belgium. The event was announced in this newsgroup and via various mailing lists and social platforms. Tutorial participants got a nice overview of what's new in Ada 2022 and practical examples of how to use the new features. (http://www.ada-europe.org/conference2022/tutorials.html#T1). To conclude, I repeat below my earlier posting with more information on, and pointers to, John's and Jeff's contributions: From: dirk@orka.cs.kuleuven.be. (Dirk Craeynest) Newsgroups: comp.lang.ada Subject: What's new in Ada 2022? (was: Re: who needs types? Types makes code ugly.) Date: Sat, 4 Jun 2022 12:05:55 -0000 (UTC) Organization: Ada-Belgium, c/o Dept. of Computer Science, KU Leuven Summary: See contributions in Ada User Journal or new book by John Barnes In article , Randy Brukardt wrote: >"Niklas Holsti" wrote in message >news:jfv2hsF2jgfU1@mid.individual.net... [...] >> For Ada 2022, see the Intro in the RM: >> http://www.ada-auth.org/standards/ada2x.html >> >> For Ada 2022 I don't think there is any "Rationale" document (yet), but >> there are various summaries and introductions, for example [...] >It is not likely that there will be an Ada 2022 Rationale, as no one has >stepped up to write it or pay John Barnes write it. The closest thing we >have is the Jeff Cousins overview, which I can't find an on-line reference >to (or my copy, for that matter). I'll check with Jeff and hopefully get >more information. > Randy. Two additional sources of information on Ada 2022 exist: - the Ada User Journal; - the new book by John Barnes. The Ada User Journal (AUJ, http://www.ada-europe.org/auj/home) has published several articles the last few years about the changes in Ada 2022 (then called Ada 220x). The latest contribution was the above mentioned overview by Jeff Cousins. It is available from the AUJ online archive: Ada User Journal, Volume 41, Number 3, September 2020 Jeff Cousins: "An Overview of Ada 202x", pp.159-175 http://www.ada-europe.org/archive/auj/auj-41-3-withcovers.pdf?page=43 And then there's of course the new edition of John Barnes' book: "Programming in Ada 2012 with a Preview of Ada 2022" https://www.cambridge.org/core/books/programming-in-ada-2012-with-a-preview-of-ada-2022/AD30275F35CCECB97EAB80ABC32B019C Previews of the various sections are available on the cambridge.org site mentioned above, such as the first page of the Preface at https://www.cambridge.org/core/books/abs/programming-in-ada-2012-with-a-preview-of-ada-2022/preface/21277D825A1D24906949F642B4AD8BE8 That page includes: "[...] the main chapters describe the 2016 updated version of Ada 2012 in detail. The book concludes with a major appendix describing the key new features of Ada 2022". (2016 refers to the year of publication by ISO of the Corrigendum which revised Ada 2012.) I asked John Barnes about the differences between the original "Programming in Ada 2012" and this new book, apart from the extra appendix on Ada 2022. He provided the following info. "The main changes are twofold. In the main body, I have updated it to cover all changes introduced by the 2016 corrigendum. I have corrected all known errors (there were quite a lot) and many cross references were wrong. An idea of the amount of change can be gathered by noting that the original version had just 6 AIs mentioned in the Index. The new edition mentions 55 AIs in the index. I also updated the text of the main body to use aspects rather than pragmas where relevant. So the body is now Ada 2016 although we don't usually talk about that. The new appendix (46 pages) covers all major features of Ada 2022. The associated website also has things such as the full syntax for Ada 2022 in a style matching the book (that's another 30 pages). Also an updated table of the facilities in containers (14 pages). And some worked examples using new features especially using the big integer packages (currently another 14 pages). Each chapter of the main book ends with a checklist outlining the new features and referring to the appropriate place in appendix 4 where they are discussed. -- John Barnes, 14 May 2022, with permission" I hope this helps. Dirk Craeynest