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!feeder.eternal-september.org!nntp-feed.chiark.greenend.org.uk!ewrotcd!newsfeed.xs3.de!news.jacob-sparre.dk!franka.jacob-sparre.dk!pnx.dk!.POSTED.rrsoftware.com!not-for-mail
From: "Randy Brukardt" <randy@rrsoftware.com>
Newsgroups: comp.lang.ada
Subject: Re: Ada to Ada Translator ?
Date: Wed, 22 May 2019 15:07:40 -0500
Organization: JSA Research & Innovation
Message-ID: <qc4a6c$bd1$1@franka.jacob-sparre.dk>
References: <100ad407-090e-4316-9746-a4469568b53e@googlegroups.com>
 <lyk1eo23vb.fsf@pushface.org>
 <477352cf-80d0-458c-b64a-4605557fef8f@googlegroups.com>
 <lyef4v251u.fsf@pushface.org>
 <ad8abdfd-a9b1-4b82-a41e-bc7796bea3e7@googlegroups.com>
 <qbrupk$gq4$1@dont-email.me> <ly1s0u1ien.fsf@pushface.org>
 <36cf3be3-0ab0-48d4-bffa-e49c624e73ff@googlegroups.com>
 <lysgtayvdh.fsf@pushface.org>
 <e7af65ec-ac38-42bf-b8f0-bff6ca93b22c@googlegroups.com>
 <ly5zq3ynwz.fsf@pushface.org>
 <dd5e231a-d195-4d7f-8d4e-2052d79f6b18@googlegroups.com>
 <ly1s0qzn28.fsf@pushface.org>
 <f1227290-e43a-47b5-b0e4-8f5b418f664b@googlegroups.com>
 <430790a7-7d0b-4812-b40a-d781cd1dd62d@googlegroups.com>
 <29eb5a31-64d0-45f3-8c2e-7a715ac8f02d@googlegroups.com>
Injection-Date: Wed, 22 May 2019 20:07:40 -0000 (UTC)
Injection-Info: franka.jacob-sparre.dk;
 posting-host="rrsoftware.com:24.196.82.226";
	logging-data="11681"; mail-complaints-to="news@jacob-sparre.dk"
X-Priority: 3
X-MSMail-Priority: Normal
X-Newsreader: Microsoft Outlook Express 6.00.2900.5931
X-RFC2646: Format=Flowed; Original
X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2900.7246
Xref: reader01.eternal-september.org comp.lang.ada:56372
Date: 2019-05-22T15:07:40-05:00
List-Id: <comp.lang.ada>


"Optikos" <optikos@verizon.net> wrote in message 
news:29eb5a31-64d0-45f3-8c2e-7a715ac8f02d@googlegroups.com...
> Functional programming facilitates correctness proofs.

??? Functional programming mostly facilities inefficiency and madness. :-) 
There's no problem with doing correctness proofs on any sort of code --  
that's the sort of thing optimizers have been doing since people invented 
compilers.

                                 Randy.