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!news.eternal-september.org!feeder.eternal-september.org!aioe.org!.POSTED!not-for-mail From: "Dmitry A. Kazakov" Newsgroups: comp.lang.ada Subject: Re: some trivial questions? Date: Wed, 1 Nov 2017 21:03:22 +0100 Organization: Aioe.org NNTP Server Message-ID: References: <6a5368c5-f015-4dcb-9291-e77b40fa1bf1@googlegroups.com> NNTP-Posting-Host: MajGvm9MbNtGBKE7r8NgYA.user.gioia.aioe.org Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8; format=flowed Content-Transfer-Encoding: 7bit X-Complaints-To: abuse@aioe.org User-Agent: Mozilla/5.0 (Windows NT 10.0; WOW64; rv:52.0) Gecko/20100101 Thunderbird/52.4.0 X-Notice: Filtered by postfilter v. 0.8.2 Content-Language: en-US Xref: news.eternal-september.org comp.lang.ada:48691 Date: 2017-11-01T21:03:22+01:00 List-Id: On 2017-11-01 19:44, tclwarrior@gmail.com wrote: > Why in ada, there is a separation between functions and procedures? Function considered free of side-effects, even on the arguments, though the latter was changed recently. Procedures are more general case subprograms. Apart from functions and procedures Ada has entries of task and protected object. Entry is a procedure with a queue where the caller can wait for the entry become ready ("open" in Ada terms) to be called. > Is there any real value in this? Function can return an indefinite object. Procedure and entry cannot. > Also why does is Use imply With? Alas, it does not. -- Regards, Dmitry A. Kazakov http://www.dmitry-kazakov.de