From: Doctor Who <doc@tardis.org>
Subject: Re: The Ravenscar profile and capabilities paradigm
Date: Mon, 11 Oct 2021 21:25:19 +0200 [thread overview]
Message-ID: <bs39mg9vcokpr1n0t53v6bkgo4as6jerr5@4ax.com> (raw)
In-Reply-To: 559475ef-c2bd-4399-b485-428c72e252c0n@googlegroups.com
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.
prev parent reply other threads:[~2021-10-11 19:25 UTC|newest]
Thread overview: 31+ messages / expand[flat|nested] mbox.gz Atom feed top
2021-10-11 13:33 The Ravenscar profile and capabilities paradigm Doctor Who
2021-10-11 14:48 ` Luke A. Guest
2021-10-11 19:25 ` Doctor Who
2021-10-11 19:36 ` Luke A. Guest
2021-10-11 19:50 ` Doctor Who
2021-10-12 0:45 ` Luke A. Guest
2021-10-12 0:47 ` Luke A. Guest
2021-10-12 2:31 ` Doctor Who
2021-10-12 2:29 ` Doctor Who
2021-10-12 2:35 ` Doctor Who
2021-10-12 3:19 ` Doctor Who
2021-10-12 5:17 ` Richard Iswara
2021-10-12 6:42 ` Doctor Who
2021-10-12 11:51 ` Richard Iswara
2021-10-12 11:58 ` Luke A. Guest
2021-10-12 15:04 ` Doctor Who
2021-10-11 15:32 ` Simon Wright
2021-10-11 19:24 ` Doctor Who
2021-10-12 15:01 ` Shark8
2021-10-12 15:02 ` Luke A. Guest
2021-10-12 15:33 ` Shark8
2021-10-12 15:43 ` Luke A. Guest
2021-10-12 18:21 ` Doctor Who
2021-10-12 18:24 ` Doctor Who
2021-10-14 3:46 ` Doctor Who
2021-10-14 15:16 ` Shark8
2021-10-14 16:38 ` Doctor Who
2021-10-14 21:20 ` Simon Wright
2021-10-15 11:21 ` Doctor Who
2021-10-11 15:48 ` Shark8
2021-10-11 19:25 ` Doctor Who [this message]
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox