home *** CD-ROM | disk | FTP | other *** search
- Path: sparky!uunet!nwnexus!ole!rwing!fnx!sgihbtn!dgeary
- From: dgeary@sierra.com (David Geary)
- Newsgroups: comp.lang.smalltalk
- Subject: Re: Voluntary method typing in ST80
- Message-ID: <1993Jan27.183522.2615@sierra.com>
- Date: 27 Jan 93 18:35:22 GMT
- References: <9301151037.AA13143@gwdu03.gwdg.de> <timp.727190147@extro.ucc.su.OZ.AU>
- Sender: news@sierra.com
- Organization: Sierra Geophysics, Kirkland WA
- Lines: 24
- Nntp-Posting-Host: grumpy
-
- In article <timp.727190147@extro.ucc.su.OZ.AU> timp@extro.ucc.su.OZ.AU (Tim Posney) writes:
- >
- >The value of type checking (IMHO) is to ensure that certain classes of errors
- >cannot occur. We have a large smalltalk system that has been in production for
-
- Actually, the major benefit of type checking is performance. If a message
- can be bound statically, the overhead of dynamic binding can be avoided.
-
- >several years now, and it is not rare to see Object does not understand errors
- >simply becuase the wrong type of argument has been passed. However I would
-
- Do you see 'Object does not understand' during development, or do these
- occur in the production code?
-
- >not take on strong typing eagerly since it would destroy much of the prototyping
- >value that you get in smalltalk.
- >
-
- Compilation destroys much of the prototyping value that you get in Smalltalk.
-
- --
- David Geary | Seattle - America's most attractive city ...
- Sierra Geophysics |
- dgeary@sierra.com | to the jetstream ;-(
-