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
X-Received: by 2002:a6b:ac42:: with SMTP id
 v63-v6mr3011324ioe.103.1528475284065;
        Fri, 08 Jun 2018 09:28:04 -0700 (PDT)
X-Received: by 2002:aca:754b:: with SMTP id
 q72-v6mr247069oic.10.1528475283918;
 Fri, 08 Jun 2018 09:28:03 -0700 (PDT)
Path: 
 eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!feeder.eternal-september.org!weretis.net!feeder4.news.weretis.net!newsreader5.netcologne.de!news.netcologne.de!peer01.ams1!peer.ams1.xlned.com!news.xlned.com!peer01.am4!peer.am4.highwinds-media.com!peer02.iad!feed-me.highwinds-media.com!news.highwinds-media.com!u78-v6no229094itb.0!news-out.google.com!c20-v6ni236itc.0!nntp.google.com!u78-v6no229090itb.0!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail
Newsgroups: comp.lang.ada
Date: Fri, 8 Jun 2018 09:28:03 -0700 (PDT)
In-Reply-To: <fnpmtjF19kpU1@mid.individual.net>
Complaints-To: groups-abuse@google.com
Injection-Info: glegroupsg2000goo.googlegroups.com;
 posting-host=2600:387:2:80f:0:0:0:c1;
 posting-account=zwxLlwoAAAChLBU7oraRzNDnqQYkYbpo
NNTP-Posting-Host: 2600:387:2:80f:0:0:0:c1
References: <5e86db65-84b9-4b5b-9aea-427a658b5ae7@googlegroups.com>
 <878t7u1cfm.fsf@nightsong.com> <fnpmtjF19kpU1@mid.individual.net>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <8a65f8ff-4a75-43f2-884c-6872780f7ea8@googlegroups.com>
Subject: Re: Ada Successor Language
From: "Dan'l Miller" <optikos@verizon.net>
Injection-Date: Fri, 08 Jun 2018 16:28:04 +0000
Content-Type: text/plain; charset="UTF-8"
X-Received-Bytes: 2144
X-Received-Body-CRC: 334127092
Xref: reader02.eternal-september.org comp.lang.ada:52998
Date: 2018-06-08T09:28:03-07:00
List-Id: <comp.lang.ada>

> This formalization will not be easy or cheap,
> but should be feasible today, at least for the
> syntax and static semantics. 

Who would be willing to fund such an effort?
1) fizzle: The big tech companies on the West Coast of the USA seem highly disinterested in safety.
2) fizzle: DARPA seems to have moved on to AI & robotics only, not all the goals that motivated Ada.
3) fizzle: INRIA seems more interested in OCaml than Ada.
3) potential: The most likely funding would come from national governments in Europe, especially France or Germany, who are at times pursuing safe software systems.

What allied hot topic would attract funding to translating the _LRM_ into some sort of formal-specifications language?  Ada as required by the insurance industry?  Ada for robotics?  AI for Ada?  Ada for blockchain currency?