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.1 required=5.0 tests=BAYES_05,INVALID_MSGID autolearn=no autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 109fba,b87849933931bc93 X-Google-Attributes: gid109fba,public X-Google-Thread: fac41,b87849933931bc93 X-Google-Attributes: gidfac41,public X-Google-Thread: 103376,b87849933931bc93 X-Google-Attributes: gid103376,public X-Google-Thread: 1111a3,5ee869da42505971 X-Google-Attributes: gid1111a3,public X-Google-Thread: 1108a1,b87849933931bc93 X-Google-Attributes: gid1108a1,public X-Google-Thread: 114809,b87849933931bc93 X-Google-Attributes: gid114809,public From: rmartin@oma.com (Robert C. Martin) Subject: Re: Combining dynamic and static typing Date: 1997/01/28 Message-ID: #1/1 X-Deja-AN: 212857738 references: <32E6797A.6E21@parcplace.com> organization: Object Mentor Inc. newsgroups: comp.lang.eiffel,comp.lang.ada,comp.lang.c++,comp.lang.smalltalk,comp.lang.objective-c,comp.object Date: 1997-01-28T00:00:00+00:00 List-Id: In article , donh@syd.csa.com.au wrote: > Dynamic and static typing both seem to have their place. Devotees of the former > extol the virtues of rapid development and devotees of the latter praise > its greater reliability. > > What I'm wondering is whether it would be useful to have a development > environment in which you had the option of using either. C++ uses static typing for member function dispatch, but uses dynamic typing (of a sort) for template dispatch. I say (of a sort) because the type are still checked at compile time, even in templates. However, templates can call member functions without the need to specify the *type* in which those member functions are declared. Indeed, there need be no supertype contains the common declaration. Thus, in that regard, template invocation is similar to ST dynamic types. -- Robert C. Martin | Design Consulting | Training courses offered: Object Mentor | rmartin@oma.com | Object Oriented Design 14619 N Somerset Cr | Tel: (847) 918-1004 | C++ Green Oaks IL 60048 | Fax: (847) 918-1023 | http://www.oma.com "One of the great commandments of science is: 'Mistrust arguments from authority.'" -- Carl Sagan