From: "J-P. Rosen" <rosen@adalog.fr>
Subject: Re: Parameterless generic instance in place of opaque type instance
Date: Sun, 28 Jul 2013 09:30:18 +0200
Date: 2013-07-28T09:30:18+02:00 [thread overview]
Message-ID: <kt2gu9$sje$1@dont-email.me> (raw)
In-Reply-To: <op.w0w3syewule2fv@cardamome>
Le 28/07/2013 07:49, Yannick Duchêne (Hibou57) a écrit :
> For these types, a parameterless generic instance may be enough. I hope
> most compilers are clever enough to not duplicate machine code for each
> of these instances, and just duplicate their data (valid or invalid
> assumption?).
This is a basic design pattern of HOOD (and the main one in early
versions). Since HOOD is based on abstract state machines, it
represented each machine with a package, and the package was made
generic if you wanted several identical ASM.
In early versions of HOOD, such generics were called "classes", since
they defined a model for several instances. Due to the confusion with
OOP classes, the name was changed to "generic" later.
--
J-P. Rosen
Adalog
2 rue du Docteur Lombard, 92441 Issy-les-Moulineaux CEDEX
Tel: +33 1 45 29 21 52, Fax: +33 1 45 29 25 00
http://www.adalog.fr
next prev parent reply other threads:[~2013-07-28 7:30 UTC|newest]
Thread overview: 13+ messages / expand[flat|nested] mbox.gz Atom feed top
2013-07-28 5:49 Parameterless generic instance in place of opaque type instance Yannick Duchêne (Hibou57)
2013-07-28 6:36 ` Yannick Duchêne (Hibou57)
2013-07-28 7:02 ` Yannick Duchêne (Hibou57)
2013-07-28 7:26 ` Yannick Duchêne (Hibou57)
2013-07-28 7:30 ` J-P. Rosen [this message]
2013-07-28 8:24 ` Yannick Duchêne (Hibou57)
2013-07-28 18:08 ` Shark8
2013-07-28 19:47 ` Yannick Duchêne (Hibou57)
2013-07-28 20:58 ` Shark8
2013-07-28 22:27 ` Yannick Duchêne (Hibou57)
2013-07-28 21:15 ` J-P. Rosen
2013-07-28 22:23 ` Shark8
2013-07-28 14:52 ` Robert A Duff
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox