Xref: utzoo comp.object:3066 comp.lang.misc:7312
Path: utzoo!mnetor!tmsoft!torsqnt!news-server.csri.toronto.edu!rpi!zaphod.mps.ohio-state.edu!swrinde!cs.utexas.edu!asuvax!noao!arizona!gudeman
From: gudeman@cs.arizona.edu (David Gudeman)
Newsgroups: comp.object,comp.lang.misc
Subject: Re: Type Systems and Dynamic Binding
Message-ID: <1594@optima.cs.arizona.edu>
Date: 8 Apr 91 00:50:53 GMT
Sender: news@cs.arizona.edu
Followup-To: comp.object
Lines: 16

In article  <11479:Apr319:53:2191@kramden.acf.nyu.edu> Dan Bernstein writes:
]With appropriate macros, I can use the above structure in the same way
]as someone using a dynamically typed language. In fact, with a
]reasonable preprocessor like AT&T's C++, I can declare the structure in
]the same way. I can get all the same type-checking (at run-time, too!).

Well I can't.  I've tried pretty hard to find a way to get extensible
dynamic typing in C++, and I don't believe it can be done.  I'm
talking about (1) a single package that I write including a header and
linked module, (2) minimal overhead for new dynamic types, (3) using
dynamically typed values just like statically typed values.  If you
can do this I'd like to see it.
--
					David Gudeman
gudeman@cs.arizona.edu
noao!arizona!gudeman