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!news.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: Paul Rubin <no.email@nospam.invalid>
Newsgroups: comp.lang.ada
Subject: Re: Is Python higher level than Ada?
Date: Tue, 15 Nov 2016 22:56:03 -0800
Organization: A noiseless patient Spider
Message-ID: <874m37ewvw.fsf@nightsong.com>
References: <o0g9mu$m6p$1@gioia.aioe.org>
Mime-Version: 1.0
Content-Type: text/plain
Injection-Info: mx02.eternal-september.org;
 posting-host="0b5dc609967e3b3eba9c3ccd2ab01e21";
	logging-data="30860"; mail-complaints-to="abuse@eternal-september.org";
	posting-account="U2FsdGVkX19fJE9kAIS7u2ItP+3ObKhT"
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/24.3 (gnu/linux)
Cancel-Lock: sha1:n5DQioeAvBToSgyTujYH7R6p5CI=
	sha1:Ts5z9iNXDSrapypz7ZfMibHRyog=
Xref: news.eternal-september.org comp.lang.ada:32336
Date: 2016-11-15T22:56:03-08:00
List-Id: <comp.lang.ada>

Victor Porton <porton@narod.ru> writes:
> My question is not about particular features, but about which features
> are considered in definition of "higher level".

I don't know that "higher level" is a well-defined term.  I think of it
as meaning the language abstracts away more machine-level details for
you, letting you think of the problem more naturally.  

Python has native datatypes for lists, dictionaries, arbitrary-precision
integers, etc., and it has automatic memory management.  It generally
takes much less Python code than Ada code to implement similar
functionality (though the Python version will run orders of magnitude
more slowly).  So in this sense, I'd say Python is higher level than
Ada.  

To support this notion of "high level", here's an essay on why the
switch statement is C's highest-level feature, because it can choose
among a range of algorithms depending on the inputs:

   http://prog21.dadgum.com/166.html

There's a highly theoretical paper by M. Felleisen about the expressive
power of programming languages (one could think "more expressive" =
"higher level"):

   http://ccs.neu.edu/racket/pubs/scp91-felleisen.ps.gz

I've looked at it but don't understand it.