From: Shark8 <onewingedshark@gmail.com>
Subject: Re: derived formal types and known discriminants
Date: Tue, 4 Jul 2017 10:34:49 -0700 (PDT)
Date: 2017-07-04T10:34:49-07:00 [thread overview]
Message-ID: <12f90584-ec4b-41bf-a8db-dcc83f9ea4ea@googlegroups.com> (raw)
In-Reply-To: <ojff01$12ul$1@gioia.aioe.org>
On Tuesday, July 4, 2017 at 1:09:57 AM UTC-6, Dmitry A. Kazakov wrote:
>
> BTW, if discriminants were abstracted as they should have been, that
> would be the way to implement constructors with parameters. You could
> declare a parameter as a public discriminant non-existing in the actual
> implementation and the type user would have to supply it when declaring
> an object.
Hm, that is an interesting idea.
next prev parent reply other threads:[~2017-07-04 17:34 UTC|newest]
Thread overview: 14+ messages / expand[flat|nested] mbox.gz Atom feed top
2017-06-23 0:45 derived formal types and known discriminants sbelmont700
2017-06-23 17:26 ` Randy Brukardt
2017-06-29 14:15 ` sbelmont700
2017-06-29 14:39 ` Dmitry A. Kazakov
2017-06-29 17:40 ` Robert Eachus
2017-06-30 1:10 ` Randy Brukardt
2017-06-30 7:24 ` Dmitry A. Kazakov
2017-06-30 18:09 ` Randy Brukardt
2017-07-04 0:30 ` sbelmont700
2017-07-04 1:36 ` gautier_niouzes
2017-07-04 2:29 ` Randy Brukardt
2017-07-04 7:09 ` Dmitry A. Kazakov
2017-07-04 17:34 ` Shark8 [this message]
2017-07-03 17:24 ` Jere
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox