From: Shark8 <onewingedshark@gmail.com>
Subject: Re: Discriminants of tagged types
Date: Sun, 31 Oct 2010 11:36:37 -0700 (PDT)
Date: 2010-10-31T11:36:37-07:00 [thread overview]
Message-ID: <4b0e9629-5a2b-446f-a1bc-d3432db74f13@d8g2000yqf.googlegroups.com> (raw)
In-Reply-To: d7841a1f-3e11-43a4-9bd6-82b052ef006d@l8g2000yql.googlegroups.com
On Oct 31, 10:20 am, Maciej Sobczak <see.my.homep...@gmail.com> wrote:
> On 30 Paź, 22:21, "Vinzent Hoefler" <nntp-2010...@t-domaingrabbing.de>
> wrote:
>
> > IMO polymorphism and copy semantics are distinct
> > concepts.
>
> As already said, I've yet to see a convincing example of a type that
> is both justifiably polymorphic and copyable at the same time.
>
> --
> Maciej Sobczak *http://www.inspirel.com
I got one for you; I was using tagged types to implement the typing-
system for a PostScript interpreter. Virtually all PostScript objects
(that is, the things you push onto its stacks) are copyable... and all
the objects have attributes for being 'executable' (though the
execution thereof may be defined as [returning] the value thereof).
next prev parent reply other threads:[~2010-10-31 18:36 UTC|newest]
Thread overview: 41+ messages / expand[flat|nested] mbox.gz Atom feed top
2010-10-27 12:16 Discriminants of tagged types Maciej Sobczak
2010-10-27 12:34 ` Ludovic Brenta
2010-10-27 13:19 ` Dmitry A. Kazakov
2010-10-27 13:52 ` Robert A Duff
2010-10-27 14:12 ` Dmitry A. Kazakov
2010-10-27 13:44 ` Robert A Duff
2010-10-27 15:06 ` Adam Beneschan
2010-10-27 15:58 ` Yannick Duchêne (Hibou57)
2010-10-27 16:35 ` Vinzent Hoefler
2010-10-27 17:58 ` J-P. Rosen
2010-10-27 20:18 ` Yannick Duchêne (Hibou57)
2010-10-27 20:26 ` Adam Beneschan
2010-10-27 22:07 ` Yannick Duchêne (Hibou57)
2010-10-27 22:42 ` Adam Beneschan
2010-10-27 15:13 ` Maciej Sobczak
2010-10-27 16:02 ` Yannick Duchêne (Hibou57)
2010-10-27 21:13 ` Maciej Sobczak
2010-10-27 21:23 ` Ludovic Brenta
2010-10-28 8:38 ` Maciej Sobczak
2010-10-27 21:25 ` Vinzent Hoefler
2010-10-28 7:53 ` Dmitry A. Kazakov
2010-10-28 8:50 ` Maciej Sobczak
2010-10-28 10:28 ` Dmitry A. Kazakov
2010-10-28 17:48 ` Yannick Duchêne (Hibou57)
2010-10-29 18:59 ` Vinzent Hoefler
2010-10-30 21:05 ` Maciej Sobczak
2010-10-30 21:21 ` Vinzent Hoefler
2010-10-30 22:01 ` Yannick Duchêne (Hibou57)
2010-10-31 16:20 ` Maciej Sobczak
2010-10-31 17:04 ` Yannick Duchêne (Hibou57)
2010-10-31 18:36 ` Shark8 [this message]
2010-10-31 21:06 ` Maciej Sobczak
2010-11-01 0:44 ` Shark8
2010-11-01 9:41 ` Maciej Sobczak
2010-10-27 16:06 ` Robert A Duff
2010-10-27 16:34 ` Yannick Duchêne (Hibou57)
2010-10-27 21:05 ` Maciej Sobczak
2010-10-28 0:35 ` Robert A Duff
2010-10-28 8:55 ` Maciej Sobczak
2010-10-27 21:28 ` Simon Wright
2010-10-27 13:54 ` J-P. Rosen
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox