From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me X-Spam-Level: X-Spam-Status: No, score=0.2 required=5.0 tests=BAYES_00,INVALID_MSGID, REPLYTO_WITHOUT_TO_CC autolearn=no autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: fac41,b87849933931bc93 X-Google-Attributes: gidfac41,public X-Google-Thread: 109fba,b87849933931bc93 X-Google-Attributes: gid109fba,public X-Google-Thread: 1108a1,b87849933931bc93 X-Google-Attributes: gid1108a1,public X-Google-Thread: 103376,b87849933931bc93 X-Google-Attributes: gid103376,public X-Google-Thread: 114809,b87849933931bc93 X-Google-Attributes: gid114809,public From: Eric Clayberg Subject: Re: OO, C++, and something much better! Date: 1997/01/28 Message-ID: <32EE3899.1B49@parcplace.com>#1/1 X-Deja-AN: 212781568 references: <5buodl$bci@boursy.news.erols.com> content-type: text/plain; charset=us-ascii organization: ParcPlace-Digitalk, Inc. mime-version: 1.0 reply-to: clayberg@parcplace.com newsgroups: comp.object,comp.lang.c++,comp.lang.ada,comp.lang.smalltalk,comp.lang.eiffel x-mailer: Mozilla 3.0 (Win95; U) Date: 1997-01-28T00:00:00+00:00 List-Id: David Hanley wrote: > To people who understand programming, and, in particualr, static typing. That's a mighty arrogant assertion on your part. Are you saying that folks who use Smalltalk (or, in general, folks who don't agree with your particular world view), don't understand programming or static typing for that matter? I understand them both quite well, thank you. Most of the Smalltalk developers who have entered this thread (myself included) have extensive programming experience with statically typed languages as well as Smalltalk. As Terry Raymond said elsewhere in this thread: "Again, it is not that we think strong typing has no benefit, but we think that with Smalltalk and its environment the benefit of enforced strong typing is not worth the cost." I couldn't agree more. > Another quick scan of this group would make it equally obvious that > while some may find these claims intuitive, many other find the same > claims counterintuitive, and contrary to thier experience. If we all > found it intuitive, there's be no discussion, right? Very true. In fact, it looks like number of folks who find the claims intuitive and the number who don't are roughly the same in this discussion. From my point of view, the answer is not as clear cut as you would like us to believe. > > OK, then, back it up. So far, *you* haven't *proven* anything. > I have. Where? All I see is the same assertion over and over again. > All other things being equal, there are fewer errors that can > happen in a static typed system, as opposed to a dynamially typed > system. Your refusal to accept this simple arguement makes you appear > as if you have some kind of religous attachment to your system. Not at all. It's simply that your "argument" isn't that simple. While static typed systems will, in fact, prevent certain classes of errors, you have not proven that dynamically typed languages (like Smalltalk) don't *also* prevent certain classes of errors. Thus the issue of "fewer" errors is not very clean cut at all. If you are merely arguing that a static typed system will have fewer *type* errors in it, then fine, I can buy that. If you are asserting that this means that there are fewer errors over all, then you haven't proved anything at all. So, once again, I ask, where is your proof that Smalltalk is somehow less reliable for building applications than any arbitrary statically typed language? In your prior message you said: > A good proof would be there the set of errors which can happen in a > statically typed system, as opposed to a dynamically typed syatem, are > fewer. Since you say that this would be a good proof, then why don't you present the "set of errors" that you see on both sides of the coin and let us all take a crack at it? Without that, your argument degrades to so much empty sophistry. -Eric