Path: utzoo!utgpu!news-server.csri.toronto.edu!rpi!zaphod.mps.ohio-state.edu!swrinde!cs.utexas.edu!uunet!pdn!tscs!tct!chip
From: chip@tct.com (Chip Salzenberg)
Newsgroups: comp.lang.misc
Subject: Re: Static typing: the OOP seatbelt
Message-ID: <27F781DC.18BB@tct.com>
Date: 1 Apr 91 18:54:20 GMT
References: <1991Mar25.201620.5839@cua.cary.ibm.com> <27F11D7B.6309@tct.uucp> <49229@nigel.ee.udel.edu>
Organization: Teltronics/TCT, Sarasota, FL
Lines: 22

According to carroll@cis.udel.edu (Mark Carroll):
>But C++ has it's share of semantic ugliness.

Well, sure.  But we're not in a competition, we're discussing specific
language features related to typing.  Right?

>Or the fact that it requires you to use multiple inheritance in order to
>kludge a simulation of dynamic typing. (Sorry, I'm one of the folks who
>still don't believe in multiple inheritance...)

I haven't needed either MI or dynamic typing yet.

>Any typing error that would be trapped in a staticly typed language
>can be captured in a dynamically typed languages using dataflow
>analysis.

I continue to consider this statement patently wrong, unless someone
has solved the halting problem and didn't tell me.  :-)
-- 
Chip Salzenberg at Teltronics/TCT     <chip@tct.com>, <uunet!pdn!tct!chip>
   "All this is conjecture of course, since I *only* post in the nude.
    Nothing comes between me and my t.b.  Nothing."   -- Bill Coderre