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=-0.5 required=3.0 tests=BAYES_05,FREEMAIL_FROM, T_SCC_BODY_TEXT_LINE autolearn=ham autolearn_force=no version=3.4.6 X-Received: by 2002:a05:622a:118e:b0:2f9:2aa1:71a9 with SMTP id m14-20020a05622a118e00b002f92aa171a9mr8985284qtk.190.1654288058609; Fri, 03 Jun 2022 13:27:38 -0700 (PDT) X-Received: by 2002:a05:6902:120d:b0:660:d02b:a31e with SMTP id s13-20020a056902120d00b00660d02ba31emr5575016ybu.275.1654288058372; Fri, 03 Jun 2022 13:27:38 -0700 (PDT) Path: eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!news.mixmin.net!proxad.net!feeder1-2.proxad.net!209.85.160.216.MISMATCH!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail Newsgroups: comp.lang.ada Date: Fri, 3 Jun 2022 13:27:38 -0700 (PDT) In-Reply-To: Injection-Info: google-groups.googlegroups.com; posting-host=73.121.127.66; posting-account=JSxOkAoAAADa00TJoz2WZ_46XrZCdXeS NNTP-Posting-Host: 73.121.127.66 References: <87wndzt8f1.fsf@bsb.me.uk> <09683835-f090-47ce-8a39-467e5fb3167an@googlegroups.com> <87fskmty0c.fsf@bsb.me.uk> <871qw5ty1t.fsf@bsb.me.uk> User-Agent: G2/1.0 MIME-Version: 1.0 Message-ID: <607083e7-d4bb-4c0f-a724-83d328ef7cc4n@googlegroups.com> Subject: Re: who needs types? Types makes code ugly. From: John Perry Injection-Date: Fri, 03 Jun 2022 20:27:38 +0000 Content-Type: text/plain; charset="UTF-8" Xref: reader02.eternal-september.org comp.lang.ada:63923 List-Id: On Friday, June 3, 2022 at 1:34:39 PM UTC-5, Niklas Holsti wrote: > 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. FWIW I was referring to the optional specification of type in a renames clause, which I first read about here: https://blog.adacore.com/ada-202x-support-in-gnat (section "Renames with type inference"). regards john perry