Path: utzoo!utgpu!news-server.csri.toronto.edu!rpi!zaphod.mps.ohio-state.edu!sdd.hp.com!spool.mu.edu!munnari.oz.au!metro!extro!objtch From: objtch@extro.ucc.su.oz.au (Peter Goodall) Newsgroups: comp.object Subject: Re: Run-time checks, Compile time Checks, and reliability Keywords: type checking, high reliability, fault tolerance Message-ID: Date: 14 Apr 91 22:06:30 GMT Article-I.D.: extro.objtch.671666790 References: <1991Mar28.161307.6071@cbnewsh.att.com> <27F780E2.1872@tct.com> <1991Apr12.190418.13128@leland.Stanford.EDU> <526@eiffel.UUCP> Sender: news@metro.ucc.su.OZ.AU Organization: Sydney University Computing Service, Sydney, NSW, Australia Lines: 15 Nntp-Posting-Host: extro.ucc.su.oz.au >although it could make sense for a Smalltalk-like typeless language ^^^^^^^^ Variables in Smalltalk are untyped, Objects are. We could argue over what a type i but I will assert that Smalltalk is strongly, typed at message send, and I'mm not the only person to think so. Also Type is not equivalent to class in Smalltalk. Thanks, -- Peter Goodall | INTERNET: