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 X-Google-Thread: f43e6,b87849933931bc93 X-Google-Attributes: gidf43e6,public From: tottinge@oma.com (Tim Ottinger) Subject: Re: OO, C++, and something much better! Date: 1997/01/30 Message-ID: <32f0fcce.15481926@news.dave-world.net>#1/1 X-Deja-AN: 213286708 references: <32DF458F.4D5C@concentric.net> <32DF94DC.6FF8@watson.ibm.com> <32DFD972.37E4@concentric.net> <32E4FC5B.242C@watson.ibm.com> <32E6862D.608B@parcplace.com> <32E788D4.4B91@watson.ibm.com> <32E9F63A.159D@rase.com> <32ECDB2F.2447@watson.ibm.com> organization: Object Mentor Associates reply-to: tottinge@oma.com newsgroups: comp.lang.c++,comp.lang.smalltalk,comp.lang.eiffel,comp.lang.ada,comp.object,comp.software-eng Date: 1997-01-30T00:00:00+00:00 List-Id: On Mon, 27 Jan 1997 10:35:11 -0800, Brian Rogoff wrote: >On Mon, 27 Jan 1997, Norman H. Cohen wrote: >> Tansel Ersavas wrote: >> >> > In Smalltalk, I am internally testing a tool that captures and embeds >> > type checking automatically during development, and strips that >> > information when you request. > A lot of really interesting work on this is being done in the >Scheme community, under the name "soft typing". The basic idea is to use >ML style type inferencing on dynamic languages to statically determine >types in most cases, or, when this fails, to insert run time checks or warn >the programmer that there is a possible type error at that point in the >software. ...and at the same time, a lot of people have created imitations of the smalltalk library for C++. To me this doesn't prove anything so much as that no matter whether you prefer static or dynamic types, you could use a little of the other, too. ------------------------------------------------------------- Tim Ottinger | Object Mentor Inc. | OOA/D, C++, more.. tottinge@oma.com | http://www.oma.com | Training/Consulting ------------------------------------------------------------- "... remember, there are ways of succeeding that we would not personally have chosen. " - Bjarne Stroustrup -------------------------------------------------------------