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: Paul Rubin <no.email@nospam.invalid>
Newsgroups: comp.lang.ada
Subject: Re: who needs types? Types makes code ugly.
Date: Sat, 18 Jun 2022 15:16:46 -0700
Organization: A noiseless patient Spider
Message-ID: <87fsk1obw1.fsf@nightsong.com>
References: <t79ab6$a4v$1@gioia.aioe.org> <t7e8v9$3et$1@dont-email.me>
	<66a25bd1-e92c-477a-95da-5d365a6967a2n@googlegroups.com>
	<t8jbuo$hov$1@dont-email.me> <t8k9de$54l$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain
Injection-Info: reader02.eternal-september.org; posting-host="c3bc43b87f7e12045c10ff09e459e8ad";
	logging-data="17184"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX18P9sG+p04DURH5FBEOPsV/"
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/27.1 (gnu/linux)
Cancel-Lock: sha1:HXVMkAeB3Hb8E11/AsmVf8Y7KFI=
	sha1:fTfiILJxS4HzUMgycjTyfZrwcdY=
Xref: reader02.eternal-september.org comp.lang.ada:63994
List-Id: <comp.lang.ada>

dirk@orka.cs.kuleuven.be. (Dirk Craeynest) writes:
> To conclude, I repeat below my earlier posting with more information
> on, and pointers to, John's and Jeff's contributions: ...
> I hope this helps.

Yes, thanks, those references are useful for understanding the changes
introduced in Ada 2022.  I had thought the idea of a formal rationale
was different: not just to explain the changes, but also to explain from
an authoritative standpoint why the decisions were made.  I don't know
how important rationales traditionally been in the Ada world.  But, Ada
2012 introduced a much larger set of changes than Ada 2022 did.  So I
can understand if a rationale was more important in 2012 than in 2022.

I guess if higher-end Ada community thought that a 2022 rationale was
necessary, they would have required it and funded it.  As a
not-so-serious user or wannabe user, I don't think I need it, but that's
just me.

I do notice long after reading "Ada Distilled" that most of the
discussions on this group about technical aspects of Ada still baffle
me.  So I think a more advanced online tutorial would do some good.  I
believe the current Ada Wikibook is nice for beginners but doesn't cover
more advanced topics all that well.