From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on
	ip-172-31-65-14.ec2.internal
X-Spam-Level: 
X-Spam-Status: No, score=-0.0 required=3.0 tests=BAYES_40,FREEMAIL_FROM,
	T_SCC_BODY_TEXT_LINE autolearn=ham autolearn_force=no version=3.4.6
X-Received: by 2002:a05:6214:18f1:b0:626:28c7:2078 with SMTP id ep17-20020a05621418f100b0062628c72078mr766711qvb.11.1686400394754;
        Sat, 10 Jun 2023 05:33:14 -0700 (PDT)
X-Received: by 2002:a25:ce44:0:b0:bad:e8b:17d4 with SMTP id
 x65-20020a25ce44000000b00bad0e8b17d4mr907297ybe.7.1686400394591; Sat, 10 Jun
 2023 05:33:14 -0700 (PDT)
Path: eternal-september.org!news.eternal-september.org!usenet.blueworldhosting.com!diablo1.usenet.blueworldhosting.com!peer03.iad!feed-me.highwinds-media.com!news.highwinds-media.com!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail
Newsgroups: comp.lang.ada
Date: Sat, 10 Jun 2023 05:33:14 -0700 (PDT)
In-Reply-To: <191a99f6-8886-4831-9a1f-5261e15062b1n@googlegroups.com>
Injection-Info: google-groups.googlegroups.com; posting-host=2a02:1210:2e90:8100:f952:3f2c:48c9:323c;
 posting-account=gRqrnQkAAAAC_02ynnhqGk1VRQlve6ZG
NNTP-Posting-Host: 2a02:1210:2e90:8100:f952:3f2c:48c9:323c
References: <u5rjg8$1dr0c$1@dont-email.me> <u5s1rk$1eprk$1@dont-email.me> <191a99f6-8886-4831-9a1f-5261e15062b1n@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <f0b40784-4984-4a4a-b8d0-4d9ac47989f9n@googlegroups.com>
Subject: Re: does a safer language mean it is slower to run?
From: Gautier write-only address <gautier_niouzes@hotmail.com>
Injection-Date: Sat, 10 Jun 2023 12:33:14 +0000
Content-Type: text/plain; charset="UTF-8"
X-Received-Bytes: 1501
Xref: news.eternal-september.org comp.lang.ada:65308
List-Id: <comp.lang.ada>

Good to learn that there is a searchable name "two-language problem" for that issue.
Another, not-well-known, solution, is Ada (with HAC on the prototyping side, and GNAT or other full-Ada systems on the production side)...