Re: who needs types? Types makes code ugly.

[Niklas Holsti <niklas.holsti@tidorum.invalid>]

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!