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=3.8 required=5.0 tests=BAYES_00,INVALID_MSGID, RATWARE_MS_HASH,RATWARE_OUTLOOK_NONAME 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: 103376,b87849933931bc93 X-Google-Attributes: gid103376,public X-Google-Thread: 109fba,b87849933931bc93 X-Google-Attributes: gid109fba,public X-Google-Thread: 1108a1,b87849933931bc93 X-Google-Attributes: gid1108a1,public X-Google-Thread: 114809,b87849933931bc93 X-Google-Attributes: gid114809,public From: "Bob Jarvis" Subject: Re: OO, C++, and something much better! Date: 1997/01/27 Message-ID: <01bc0c93$e6f282f0$c318b993@jarvisb>#1/1 X-Deja-AN: 212667540 references: <32E47B4B.56D9@concentric.net> <6PI998tV3RB@herold.franken.de> <5c4ab5$134$1@goanna.cs.rmit.EDU.AU> organization: The Timken Company newsgroups: comp.object,comp.lang.c++,comp.lang.ada,comp.lang.smalltalk,comp.lang.eiffel Date: 1997-01-27T00:00:00+00:00 List-Id: Robert A Duff wrote in article ... > < snip > > As you can see from this thread, Smalltalk is well-regarded > by many of its users, and Ada is well-regarded by many of its users, and > the same for C -- isn't there some sort of objective reality, that goes > beyond what programmers think they like? "Objective reality"? Pun? :-) It seems to me that people know what they like and like what they know, be it in programming languages or music or what have you. Those who have never worked in a language with solid strong typing may perhaps go on a knee-jerk rant about how awful it is/must be. Those who have never worked with a true dynamically-typed language may be unable to envision the possibilities. I forget who said it, but I think that the idea that "where you stand on an issue depends on where you sit" certainly applies here. > Hmm. In the Smalltalk context, it seems that adding compile-time checks > requires modifying the language, so that there's some way to > (optionally) declare the type/interface expected for each parameter and > variable. I mean, type-inference is all well and good, but there's got > to be some (preferably fairly localized) information to start inferring > from. As a Smalltalk developer there are times where I think I'd like to be able to specify the class of a message parameter so that some level of "type checking" could be done. Something like myMessage(String): parm1(String) parm: parm2(Magnitude) would indicate that myMessage should answer a String (or some subclass of String), that the first parameter should be a String, and the second parameter should be a Magnitude. It would be nice if this was optional - if no classes were specified then the system shouldn't try to do any checking. However, as a Smalltalk developer I'm also aware that this isn't absolutely necessary to developing quality software. I'm sometimes troubled by the lack of "control" in Smalltalk - why, anyone can pass anything to any message! On the other hand I'm sometimes thrilled by the lack of interference - I can hack the snot out of the code and it'll STILL WORK! Granted, when I'm working in C++ I can do the same sort of thing, after a fashion - but after spending a good deal of time in Smalltalk I find that moving to C++ feels like putting on a straitjacket. -- Bob Jarvis Mail addresses hacked to foil automailers! Send replies to jarvisb@timken.com