From: Shark8 <onewingedshark@gmail.com>
Subject: Re: about inheritance of subtypes and entities (such as constants) related to a type in the same package
Date: Thu, 31 May 2018 19:50:03 -0700 (PDT)
Date: 2018-05-31T19:50:03-07:00 [thread overview]
Message-ID: <c2525088-2de1-41f4-9003-f3a9b909a03c@googlegroups.com> (raw)
In-Reply-To: <33e69ed1-d4ba-4fd9-9d82-5b7cb1971596@googlegroups.com>
On Thursday, May 31, 2018 at 5:39:52 PM UTC-6, Mehdi Saada wrote:
> The idea was to define for a given (private) type, a series of subtypes with different type invariant, or with or without unknown discriminants (the box), to provide specific variant of the same ADT.
Can you give an example?
Something like Stack, Empty-Stack, Integer-Stack? I'm not entirely sure I get what you're saying, or what your intended goal is.
next prev parent reply other threads:[~2018-06-01 2:50 UTC|newest]
Thread overview: 28+ messages / expand[flat|nested] mbox.gz Atom feed top
2018-05-26 16:14 about inheritance of subtypes and entities (such as constants) related to a type in the same package Mehdi Saada
2018-05-26 16:44 ` Mehdi Saada
2018-05-29 22:07 ` Randy Brukardt
2018-05-29 22:12 ` Randy Brukardt
2018-05-30 8:13 ` Dmitry A. Kazakov
2018-05-30 19:25 ` Randy Brukardt
2018-05-30 19:45 ` Dmitry A. Kazakov
2018-05-30 19:59 ` Randy Brukardt
2018-05-31 8:44 ` Dmitry A. Kazakov
2018-05-31 22:48 ` Randy Brukardt
2018-05-31 23:39 ` Mehdi Saada
2018-06-01 2:50 ` Shark8 [this message]
2018-06-01 7:35 ` Dmitry A. Kazakov
2018-05-30 20:53 ` Dan'l Miller
2018-05-31 8:54 ` Dmitry A. Kazakov
2018-05-31 14:29 ` Dan'l Miller
2018-05-31 14:38 ` Dan'l Miller
2018-05-31 17:37 ` Dmitry A. Kazakov
2018-05-31 18:53 ` Dan'l Miller
2018-05-31 19:59 ` Dmitry A. Kazakov
2018-05-31 21:10 ` Dan'l Miller
2018-06-01 7:56 ` Dmitry A. Kazakov
2018-06-01 14:01 ` Dan'l Miller
2018-06-01 15:27 ` Dmitry A. Kazakov
2018-05-31 22:45 ` Randy Brukardt
2018-05-31 23:50 ` Dan'l Miller
2018-06-01 7:38 ` Dmitry A. Kazakov
2018-05-31 22:34 ` Randy Brukardt
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox