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!feeder.eternal-september.org!aioe.org!.POSTED!not-for-mail
From: "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>
Newsgroups: comp.lang.ada
Subject: Re: I am not understanding user defined exceptions
Date: Tue, 14 Feb 2017 09:39:19 +0100
Organization: Aioe.org NNTP Server
Message-ID: <o7ufnn$1oq5$1@gioia.aioe.org>
References: <6cb6e781-c6df-4962-99e3-760e7c7fab88@googlegroups.com>
 <k3ba9chta4hqdcv4q6npmrdbffsnfeoi8l@4ax.com> <o73tvs$je$1@dont-email.me>
 <lyshntg9yh.fsf@pushface.org> <o7fm37$4ir$1@dont-email.me>
 <o7ga31$6a9$1@franka.jacob-sparre.dk> <wcco9ybfahw.fsf@TheWorld.com>
 <o7io26$51i$1@franka.jacob-sparre.dk> <wccfujnf042.fsf@TheWorld.com>
 <o7la6e$pe$1@franka.jacob-sparre.dk> <o7ldjo$10aj$1@gioia.aioe.org>
 <o7tf0d$d63$1@franka.jacob-sparre.dk>
NNTP-Posting-Host: vZYCW951TbFitc4GdEwQJg.user.gioia.aioe.org
Mime-Version: 1.0
Content-Type: text/plain; charset=windows-1252; format=flowed
Content-Transfer-Encoding: 7bit
X-Complaints-To: abuse@aioe.org
User-Agent: Mozilla/5.0 (Windows NT 6.1; WOW64; rv:45.0) Gecko/20100101
 Thunderbird/45.7.1
X-Notice: Filtered by postfilter v. 0.8.2
Xref: news.eternal-september.org comp.lang.ada:33350
Date: 2017-02-14T09:39:19+01:00
List-Id: <comp.lang.ada>

On 14/02/2017 00:20, Randy Brukardt wrote:

> If static was a declarable property, I'd also make it possible to declare
> user-defined static things, and apply that to all types. For instance, it
> should be possible to have static System.Address values, static Complex
> values, and the like. It wouldn't be limited to just whatever the language
> designers could define.

What about pure operations? The result of a pure operation with static 
arguments is static, you don't need to declare anything upfront.

Static subtype does not make much sense unless you split implicit 
value-getter primitive operation into two: one yields the object's 
static value, another does the object's dynamic value. However, if you 
let them being overridden independently you might get an interesting set 
of possibilities, e.g. building static hash tables, indexing constant 
strings etc.

-- 
Regards,
Dmitry A. Kazakov
http://www.dmitry-kazakov.de