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=-1.9 required=3.0 tests=BAYES_00 autolearn=ham autolearn_force=no version=3.4.6 Path: eternal-september.org!reader02.eternal-september.org!aioe.org!Lx7EM+81f32E0bqku+QpCA.user.46.165.242.75.POSTED!not-for-mail From: "Luke A. Guest" Newsgroups: comp.lang.ada Subject: Re: The Ravenscar profile and capabilities paradigm Date: Tue, 12 Oct 2021 16:02:53 +0100 Organization: Aioe.org NNTP Server Message-ID: References: <07f8mgdot9tmh8mqen2ogd5dds2gojoleh@4ax.com> Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8; format=flowed Content-Transfer-Encoding: 7bit Injection-Info: gioia.aioe.org; logging-data="35104"; posting-host="Lx7EM+81f32E0bqku+QpCA.user.gioia.aioe.org"; mail-complaints-to="abuse@aioe.org"; User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:78.0) Gecko/20100101 Thunderbird/78.13.0 X-Notice: Filtered by postfilter v. 0.9.2 Content-Language: en-GB Xref: reader02.eternal-september.org comp.lang.ada:62975 List-Id: On 12/10/2021 16:01, Shark8 wrote: > On Monday, October 11, 2021 at 1:24:48 PM UTC-6, Doctor Who wrote: >> On Mon, 11 Oct 2021 16:32:13 +0100, Simon Wright wrote: >>> Doctor Who writes: >>> >>>> someone knows how to introduce the capabilities paradigm in Ada, >>>> specifically for programs written using the Ravenscar profile ? >>> > Type Capability is ( Read, Copy, Whatever ); There can be a capabiity for literally anything, even ownership and can be different depending on object/os service. I'd say a tagged type is better than an enum.