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=1.6 required=5.0 tests=BAYES_05,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: 1111a3,5ee869da42505971 X-Google-Attributes: gid1111a3,public X-Google-Thread: 114809,b87849933931bc93 X-Google-Attributes: gid114809,public From: shang@corp.mot.com (David L. Shang) Subject: Re: Combining dynamic and static typing Date: 1997/01/27 Message-ID: <1997Jan27.220111.22461@schbbs.mot.com>#1/1 X-Deja-AN: 212665182 sender: news@schbbs.mot.com (SCHBBS News Account) references: organization: MOTOROLA reply-to: shang@corp.mot.com newsgroups: comp.lang.eiffel,comp.lang.ada,comp.lang.c++,comp.lang.smalltalk,comp.lang.objective-c,comp.object Date: 1997-01-27T00:00:00+00:00 List-Id: In article donh@syd.csa.com.au (Don Harrison) writes: > 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. For example, > you may choose to write a system that may be completely dynamically-typed, > or partly dynamic and partly static, or completely static. For increased > reliability, the development environment would come along after and fill in > the missing types for you. It might do this by type inference and by using > data retained from individual executions. Inferred types might be displayed > in a different colour in a visual programming environment and, if confirmed > by the developer, displayed as though the developer had supplied them. > > I know Cecil allows combined some form of dynamic/static typing but I'm not > sure how it works. For comprehensive technology of combining dynamic and static typing, you may check the Transframe language at http://www.transframe.com at the Technology/RapidDevelopment page. For technical detail, you may check the page Research/TransframeLanguage. David Shang