From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 4.0.1 (2024-03-25) on
	ip-172-31-91-241.ec2.internal
X-Spam-Level: 
X-Spam-Status: No, score=0.0 required=3.0 tests=none autolearn=ham
	autolearn_force=no version=4.0.1
Path: nntp.eternal-september.org!eternal-september.org!feeder.eternal-september.org!.POSTED!not-for-mail
From: Paul Rubin <no.email@nospam.invalid>
Newsgroups: comp.lang.ada
Subject: Re: In precision typing we trust
Date: Mon, 25 Aug 2025 10:12:06 -0700
Organization: A noiseless patient Spider
Message-ID: <87ldn7mil5.fsf@nightsong.com>
References: <107uv9g$3019a$1@dont-email.me> <107v1ji$303of$1@dont-email.me>
	<336fbb5f-a279-ea8e-67fd-f62bb00d6a89@irrt.De>
	<107vfb9$34cpj$1@dont-email.me> <mgmhbtF8u6bU1@mid.individual.net>
	<10855lq$gj8l$1@dont-email.me> <1088h1a$19635$1@dont-email.me>
	<1089p1i$1ig1d$1@dont-email.me> <108aq2p$1qo9o$1@dont-email.me>
	<b7a32260-7c15-7b63-6d39-0e5e809c7201@insomnia247.nl>
	<108dh2l$2f5h3$1@dont-email.me> <108ej11$2mbr8$1@dont-email.me>
	<108g1fv$32gqg$3@dont-email.me> <108h6b7$3a75k$3@dont-email.me>
	<87plcjn5ru.fsf@nightsong.com> <108hek3$3c6u1$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain
Injection-Date: Mon, 25 Aug 2025 17:12:07 +0000 (UTC)
Injection-Info: dont-email.me; posting-host="2ef19b0472b0c1586bed7af09e450973";
	logging-data="3730653"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX18vdK2DjMUAa2tRLdfDs/p8"
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/27.1 (gnu/linux)
Cancel-Lock: sha1:oZgj3FbaaW4ZwOCPZw2r4fvIjsE=
	sha1:oL9vAoynix3MNNuBlo9YzfRPMq8=
Xref: feeder.eternal-september.org comp.lang.ada:66918
List-Id: <comp.lang.ada>

"Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de> writes:
> Why do I need to instantiate a class? Provided that it is obviously
> impossible since the class is an open set of types.

You aren't using the term "class" the way Python or the rest of the OOP
world does.  You also aren't in charge of which usage is "correct".  The
term is used in many different ways.

You can read more about metaclasses here:

   https://en.wikipedia.org/wiki/Metaclass

The article gives a Python example.