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=-3.2 required=3.0 tests=BAYES_00,NICE_REPLY_A,
	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!news.szaf.org!fu-berlin.de!uni-berlin.de!individual.net!not-for-mail
From: Niklas Holsti <niklas.holsti@tidorum.invalid>
Newsgroups: comp.lang.ada
Subject: Re: who needs types? Types makes code ugly.
Date: Fri, 3 Jun 2022 21:34:36 +0300
Organization: Tidorum Ltd
Message-ID: <jfv2hsF2jgfU1@mid.individual.net>
References: <t79ab6$a4v$1@gioia.aioe.org>
 <nnd$1dfb707b$1866b51a@6cddbe3899d992f0> <87wndzt8f1.fsf@bsb.me.uk>
 <09683835-f090-47ce-8a39-467e5fb3167an@googlegroups.com>
 <87fskmty0c.fsf@bsb.me.uk> <l20j9h9dbsilro6mtr79prg1p1fift4gid@4ax.com>
 <871qw5ty1t.fsf@bsb.me.uk>
Mime-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
X-Trace: individual.net DbASo1PsanGDKgsaA7o+TQTqgAorQpU52/W8RBUwylfkGKXIZd
Cancel-Lock: sha1:9edTsd9+ZGywfAvCeotc7FlbPvA=
User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.14; rv:91.0)
 Gecko/20100101 Thunderbird/91.6.2
Content-Language: en-US
In-Reply-To: <871qw5ty1t.fsf@bsb.me.uk>
Xref: reader02.eternal-september.org comp.lang.ada:63922
List-Id: <comp.lang.ada>

On 2022-06-03 21:13, Ben wrote:
> Dennis Lee Bieber <wlfraed@ix.netcom.com> writes:
> 
>> On Fri, 03 Jun 2022 01:02:27 +0100, Ben <ben.usenet@bsb.me.uk> declaimed
>> the following:
>>>
>>> I don't know much about Ada newer than about 1990.  I'll take a look...
>>
>> 	My condolences
> 
> Thank, but I'm fine.  Knowing was not intended to imply forced to use.
> 
>> -- taken literally, that means you are working with
>> Ada-83 (ANSI/Mil-Std 1815A -- later ISO-8652:1987). The first significant
>> update was Ada-95 (and Air Force funded original GNAT).
> 
> That was the only Ada I knew, though I knew about the updates of
> course.  Couldn't find any reference to type inference though.


As far as I know, the only type inferencing that occur in Ada is in 
for-loops where the type of the loop parameter variable is inferred from 
the range or container over which the loop iterates.


> Is there a good place to go for a "summary of changes" between standards?


Each version of the Reference Manual has an "Introduction" chapter that 
contains a subheading "Language Changes", but those are quite terse. If 
you can find a "Rationale" document for the version in question that 
usually has much more information about the changes.

For Ada 95: 
https://www.adaic.org/resources/add_content/standards/95rat/rat95html/rat95-contents.html

For Ada 2005: https://www.adaic.org/ada-resources/standards/ada05/

For Ada 2012: http://www.ada-auth.org/standards/rationale12.html

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 
https://learn.adacore.com/courses/whats-new-in-ada-2022/chapters/introduction.html

HTH!