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=-1.9 required=5.0 tests=BAYES_00
	autolearn=unavailable autolearn_force=no version=3.4.4
Path: 
 eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!.POSTED!not-for-mail
From: "Alejandro R. Mosteo" <alejandro@mosteo.com>
Newsgroups: comp.lang.ada
Subject: Re: "functional" programming in Ada
Date: Wed, 7 Mar 2018 15:30:07 +0100
Organization: A noiseless patient Spider
Message-ID: <p7ot1g$eom$1@dont-email.me>
References: <p7luc6$fu7$1@dont-email.me>
 <83978b21-9384-4b04-a16d-37ce06488800@googlegroups.com>
 <p7m8tn$rel$1@dont-email.me>
 <cd48925d-5cac-465c-96c3-a392f0ce4079@googlegroups.com>
 <p7mt0u$rqn$1@franka.jacob-sparre.dk>
Mime-Version: 1.0
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Wed, 7 Mar 2018 14:30:08 -0000 (UTC)
Injection-Info: reader02.eternal-september.org;
 posting-host="2be4ab457d552c4d2afda3fc1fe39c2c";
	logging-data="15126"; mail-complaints-to="abuse@eternal-september.org";
	posting-account="U2FsdGVkX1+hxiGxAymb12IBYeqoAXxf"
User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:52.0) Gecko/20100101
 Thunderbird/52.6.0
In-Reply-To: <p7mt0u$rqn$1@franka.jacob-sparre.dk>
Content-Language: en-US
Cancel-Lock: sha1:oZ8qevWwlALOEdCbKb/dNMgtIFA=
Xref: reader02.eternal-september.org comp.lang.ada:50877
Date: 2018-03-07T15:30:07+01:00
List-Id: <comp.lang.ada>

On 06/03/18 21:17, Randy Brukardt wrote:

> Generally, I'd expect them to appear mainly in private parts, because the
> visible spec shouldn't include enough info to be able to usefully implement
> much -- you usually need access to the components of the central private
> type in order to write such a function.

Unless you find yourself writing functions that depend on other 
functions (possibly even from other packages), and then you are no 
longer restricted by private components...

At least that's what's happening to me.

Álex.