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!feeder.eternal-september.org!nntp-feed.chiark.greenend.org.uk!ewrotcd!newsfeed.xs3.de!io.xs3.de!news.jacob-sparre.dk!franka.jacob-sparre.dk!pnx.dk!.POSTED.109.57.200.81.mobile.3.dk!not-for-mail
From: Jacob Sparre Andersen <jacob@jacob-sparre.dk>
Newsgroups: comp.lang.ada
Subject: Re: How to get Ada to ?cross the chasm??
Date: Sun, 29 Apr 2018 21:09:47 +0200
Organization: JSA Research & Innovation
Message-ID: <876049vngk.fsf@jacob-sparre.dk>
References: <1c73f159-eae4-4ae7-a348-03964b007197@googlegroups.com>
	<dbcb51b9-8ab9-4d39-bb70-47fdb15ebfd8@googlegroups.com>
	<pb7eii$bf1$1@dont-email.me>
	<b75ad71f-a917-4638-9b38-ccfe69b04e53@googlegroups.com>
	<slrnpdpiv9.ntv.address@is.invalid>
	<pbr3mi$leu$1@franka.jacob-sparre.dk> <87k1su7nag.fsf@nightsong.com>
	<pbtlno$3k2$1@franka.jacob-sparre.dk> <87po2la2qt.fsf@nightsong.com>
	<87in8buttb.fsf@jacob-sparre.dk> <87wowqpowu.fsf@nightsong.com>
	<87efiyuh10.fsf@jacob-sparre.dk> <87vacanebz.fsf@nightsong.com>
	<87a7tlvppi.fsf@jacob-sparre.dk> <87k1sponey.fsf@nightsong.com>
Mime-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Injection-Info: franka.jacob-sparre.dk;
 posting-host="109.57.200.81.mobile.3.dk:109.57.200.81";
	logging-data="19006"; mail-complaints-to="news@jacob-sparre.dk"
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/23.4 (gnu/linux)
Cancel-Lock: sha1:1NE36t2UzITWmnQZCXp6LOMRauU=
Xref: reader02.eternal-september.org comp.lang.ada:51806
Date: 2018-04-29T21:09:47+02:00
List-Id: <comp.lang.ada>

Paul Rubin wrote:

>> What is your definition of a HLL?  Except that it apparently isn't C
>> or Ada?  Is it any language you can't write an operating system in?
>
> It may be idiosyncratic but I'm going with something like this: HLL's
> can handle large and potentially complicated data objects as easily as
> low-level languages handle machine integers.  That means you can write
> them as literals (e.g. Lisp S-expressions), create them as
> intermediate values and pass them as arguments, include them in other
> data, etc. and not have to manually manage their storage.

That sounds like Ada to me.

>>> Sure, that's fine, but it sounds like a fairly thin wrapper.
>> Then I gave the wrong impression.  Checking that the results make sense
>> is a different operation than calculating the results, but that doesn't
>> make it trivial.
>
> Hmm ok, but what advantage does Ada bring in checking the results?

That it is easier to write correct programs in Ada than in R and Python.

> Do you have some SPARK verification of the checker?

No.

Greetings,

Jacob
-- 
"Banning open source would have immediate, broad, and strongly negative
 impacts on the ability of many sensitive and security-focused DOD
 groups to protect themselves against cyberattacks" -- Mitre Corp.