From: Lutz Donnerhacke <lutz@iks-jena.de>
Subject: Re: Defining types in private packages for use in parent spec
Date: Wed, 27 Aug 2003 09:03:20 +0000 (UTC)
Date: 2003-08-27T09:03:20+00:00 [thread overview]
Message-ID: <slrnbkosum.o6.lutz@taranis.iks-jena.de> (raw)
In-Reply-To: t7rokv84cns92qdqbjkbmr8jielpq39dh3@4ax.com
* Dmitry A Kazakov wrote:
> 1. Tagged types: tag --- dispatch ---> implementation
> 2. Discriminated types: discriminant(s) --- case ----> implementation
Too much overhead. The type have to be as compact as possible to avoid bloat.
> 3. "Generic" types: parameter(s) --- instantiation ---> implementation
Good suggestion. Thank you.
next prev parent reply other threads:[~2003-08-27 9:03 UTC|newest]
Thread overview: 4+ messages / expand[flat|nested] mbox.gz Atom feed top
2003-08-27 7:51 Defining types in private packages for use in parent spec Lutz Donnerhacke
2003-08-27 8:56 ` Dmitry A. Kazakov
2003-08-27 9:03 ` Lutz Donnerhacke [this message]
2003-08-29 17:02 ` Stephen Leake
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox