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.4 required=5.0 tests=BAYES_00,FORGED_MUA_MOZILLA
	autolearn=no autolearn_force=no version=3.4.4
X-Google-Thread: 103376,73175d2d01a1b1dd
X-Google-NewGroupId: yes
X-Google-Attributes: gida07f3367d7,domainid0,public,usenet
X-Google-Language: ENGLISH,UTF8
Received: by 10.68.21.229 with SMTP id y5mr7188224pbe.1.1317744358861;
        Tue, 04 Oct 2011 09:05:58 -0700 (PDT)
Path: 
 lh7ni11423pbb.0!nntp.google.com!news1.google.com!news4.google.com!feeder1-2.proxad.net!proxad.net!feeder2-2.proxad.net!newsfeed.arcor.de!newsspool1.arcor-online.net!news.arcor.de.POSTED!not-for-mail
Date: Tue, 04 Oct 2011 18:05:57 +0200
From: Georg Bauhaus <rm.dash-bauhaus@futureapps.de>
User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.6;
 rv:6.0.2) Gecko/20110902 Thunderbird/6.0.2
MIME-Version: 1.0
Newsgroups: comp.lang.ada
Subject: Re: subprogram must not be deeper than access type
References: <slrnj7trhq.i18.lithiumcat@sigil.instinctive.eu>
 <818752663338654817.822041rmhost.bauhaus-maps.arcor.de@news.arcor.de>
 <slrnj80ieh.i18.lithiumcat@sigil.instinctive.eu>
 <wccmxdr772s.fsf@shell01.TheWorld.com>
 <15r7hdzgyr0fc.1djn7vwy23dfg$.dlg@40tude.net>
 <wccehz3jn48.fsf@shell01.TheWorld.com>
 <1uqthqxzri6j3.i18ifhbwmzdc.dlg@40tude.net> <j5ro7t$dji$1@dont-email.me>
 <10bj41auuxi17$.42qw3wdubqn3.dlg@40tude.net> <op.v2s7xnseule2fv@index.ici>
 <gk6gupu4gbie.1feok3e8ay6ot$.dlg@40tude.net>
 <4e8b21fc$0$6571$9b4e6d93@newsspool3.arcor-online.net>
 <op.v2t3brqzule2fv@index.ici>
In-Reply-To: <op.v2t3brqzule2fv@index.ici>
Message-ID: <4e8b2ee6$0$6573$9b4e6d93@newsspool3.arcor-online.net>
Organization: Arcor
NNTP-Posting-Date: 04 Oct 2011 18:05:58 CEST
NNTP-Posting-Host: 80e2fc3c.newsspool3.arcor-online.net
X-Trace: 
 DXC=LR2boRf22?Q1`E>oC;JXEZMcF=Q^Z^V3X4Fo<]lROoRQ8kF<OcfhCO[f]oC8c]G>F[nc\616M64>ZLh>_cHTX3j]2mb[c>[7NhW
X-Complaints-To: usenet-abuse@arcor.de
Xref: news1.google.com comp.lang.ada:18297
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit
Date: 2011-10-04T18:05:58+02:00
List-Id: <comp.lang.ada>

On 04.10.11 17:44, Yannick Duchêne (Hibou57) wrote:
> Le Tue, 04 Oct 2011 17:10:51 +0200, Georg Bauhaus
> <rm.dash-bauhaus@futureapps.de> a écrit:
>> To better meet programmer expectations, functions could then
>> return lists of values as objects of a similar anonymous
>> record type.
> Yes, and that's what Functional Languages do. I believe Ada could benefit from
> more FP (it already has something of FP).

How so?  If Haskell is representative, the return type
of a function can be named in FP languages.

The type of values passed to a function is polymorphic,
sometimes syntactically polymorphic, sometimes polymorphic
at an explanatory level (value vs. n-tuple).