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-74-118.ec2.internal
X-Spam-Level: 
X-Spam-Status: No, score=-0.0 required=3.0 tests=BAYES_20 autolearn=ham
	autolearn_force=no version=3.4.6
Path: eternal-september.org!reader02.eternal-september.org!.POSTED!not-for-mail
From: Doctor Who <doc@tardis.org>
Newsgroups: comp.lang.ada
Subject: Re: The Ravenscar profile and capabilities paradigm
Date: Mon, 11 Oct 2021 21:25:19 +0200
Organization: A noiseless patient Spider
Message-ID: <bs39mg9vcokpr1n0t53v6bkgo4as6jerr5@4ax.com>
References: <07f8mgdot9tmh8mqen2ogd5dds2gojoleh@4ax.com> <559475ef-c2bd-4399-b485-428c72e252c0n@googlegroups.com>
Mime-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Transfer-Encoding: 7bit
Injection-Info: reader02.eternal-september.org; posting-host="ace827ba4debc2d1b63bc442ab107c9b";
	logging-data="12167"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1/Qa/Xc44/9d3qdBPm5jxnc"
User-Agent: ForteAgent/8.00.32.1272
Cancel-Lock: sha1:dppx2zyFlRoY1JmBR2KF9esZras=
Xref: reader02.eternal-september.org comp.lang.ada:62959
List-Id: <comp.lang.ada>

On Mon, 11 Oct 2021 08:48:53 -0700 (PDT), Shark8
<onewingedshark@gmail.com> wrote:

>On Monday, October 11, 2021 at 7:33:53 AM UTC-6, Doctor Who wrote:
>> Hello, 
>> someone knows how to introduce the capabilities paradigm in Ada, 
>> specifically for programs written using the Ravenscar profile ?
>I'm not quite sure what you mean by "capabilities paradigm", could you elaborate on it a bit.
>
>If my gut intuition is anything to go off of, you're referring to the ability to program against a type and operations thereon, correct?
>If so, then Ada has this in the form of Generics: you can pass types, subprograms, values & objects, and generic packages via formal parameters.


I am referring to capability-based security.