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: 1111a3,5ee869da42505971,start X-Google-Attributes: gid1111a3,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: donh@syd.csa.com.au (Don Harrison) Subject: Combining dynamic and static typing Date: 1997/01/23 Message-ID: #1/1 X-Deja-AN: 211649879 sender: news@syd.csa.com.au x-nntp-posting-host: dev50 references: <32E6797A.6E21@parcplace.com> organization: CSC Australia, Sydney reply-to: donh@syd.csa.com.au newsgroups: comp.lang.eiffel,comp.lang.ada,comp.lang.c++,comp.lang.smalltalk,comp.lang.objective-c,comp.object Date: 1997-01-23T00:00:00+00:00 List-Id: 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. Don. =-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=- Don Harrison donh@syd.csa.com.au