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.2 required=5.0 tests=BAYES_00,FREEMAIL_FROM,
	FROM_STARTS_WITH_NUMS autolearn=no autolearn_force=no version=3.4.4
X-Received: by 10.107.111.17 with SMTP id k17mr15708740ioc.28.1520419971022;
        Wed, 07 Mar 2018 02:52:51 -0800 (PST)
X-Received: by 10.157.68.105 with SMTP id f38mr1153941otj.1.1520419970776;
 Wed, 07 Mar 2018 02:52:50 -0800 (PST)
Path: 
 eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!feeder.eternal-september.org!feed.usenet.farm!feeder3.feed.usenet.farm!weretis.net!feeder6.news.weretis.net!feeder.usenetexpress.com!feeder-in1.iad1.usenetexpress.com!border1.nntp.dca1.giganews.com!nntp.giganews.com!r195no94170itc.0!news-out.google.com!a2ni861ite.0!nntp.google.com!r195no94165itc.0!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail
Newsgroups: comp.lang.ada
Date: Wed, 7 Mar 2018 02:52:50 -0800 (PST)
In-Reply-To: <896b83c6-83d4-4ffc-8c56-1481802ea8fd@googlegroups.com>
Complaints-To: groups-abuse@google.com
Injection-Info: glegroupsg2000goo.googlegroups.com;
 posting-host=85.240.208.224;
 posting-account=rhqvKAoAAABpikMmPHJSZh4400BboHwT
NNTP-Posting-Host: 85.240.208.224
References: <p7luc6$fu7$1@dont-email.me>
 <896b83c6-83d4-4ffc-8c56-1481802ea8fd@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <961c82e0-7d7e-48af-8751-916a3332ccc5@googlegroups.com>
Subject: Re: "functional" programming in Ada
From: Mehdi Saada <00120260a@gmail.com>
Injection-Date: Wed, 07 Mar 2018 10:52:50 +0000
Content-Type: text/plain; charset="UTF-8"
Xref: reader02.eternal-september.org comp.lang.ada:50874
Date: 2018-03-07T02:52:50-08:00
List-Id: <comp.lang.ada>

I am myself a purist in becoming, but I'm curious as to the statement of Randy, that such constructions that mix bodies and specs, like expression functions, allow better analysis from tools.
Why not writing everything in the specs then ? Maybe the original separation of specs and bodies is a mistake, in the light of recent tools requirements.
... I'm just playing devil's advocate, don't shoot.