From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me X-Spam-Level: X-Spam-Status: No, score=-0.3 required=5.0 tests=BAYES_00, REPLYTO_WITHOUT_TO_CC autolearn=no autolearn_force=no version=3.4.4 X-Google-Thread: 103376,e55245590c829bef X-Google-NewGroupId: yes X-Google-Attributes: gida07f3367d7,domainid0,public,usenet X-Google-Language: ENGLISH,ASCII Path: g2news1.google.com!news3.google.com!news4.google.com!feeder1-2.proxad.net!proxad.net!feeder2-2.proxad.net!newsfeed.arcor.de!newsspool3.arcor-online.net!news.arcor.de.POSTED!not-for-mail From: "Dmitry A. Kazakov" Subject: Re: Beginners question: Compound types, how-to? Newsgroups: comp.lang.ada User-Agent: 40tude_Dialog/2.0.15.1 MIME-Version: 1.0 Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: 8bit Reply-To: mailbox@dmitry-kazakov.de Organization: cbb software GmbH References: <86wroy58ff.fsf@gareth.avalon.lan> <86bp695h4x.fsf@gareth.avalon.lan> <88guc6ll5hiauv1au07e323bgdq8ki9ep2@4ax.com> Date: Tue, 2 Nov 2010 09:32:22 +0100 Message-ID: <1m80d6265eowi.11zb2ut5recs.dlg@40tude.net> NNTP-Posting-Date: 02 Nov 2010 09:32:22 CET NNTP-Posting-Host: f8c6070d.newsspool3.arcor-online.net X-Trace: DXC==KbRE:l1 On Tue, 02 Nov 2010 00:17:53 +0100, Yannick Duch�ne (Hibou57) wrote: > The difference with Ada, is > that you do not have to rewrite all the signature. Ada supports overloading that is the reason why the ultimate name of a subprogram in effect includes its arguments/result profile, additionally to the call name. This is somewhat in breach with the idea of nominal matching of things, so the inconvenience people feel about it. But it is not very clear how to fix that. Nobody cares too, because subprograms are not first class citizens. If Ada wished to become more "functional" (not that I wanted its evolution in this direction), then it would have to resolve this issue. -- Regards, Dmitry A. Kazakov http://www.dmitry-kazakov.de