home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1993 #1 / NN_1993_1.iso / spool / comp / compiler / 2144 < prev    next >
Encoding:
Text File  |  1993-01-12  |  1.8 KB  |  43 lines
  1. Newsgroups: comp.compilers
  2. Path: sparky!uunet!world!iecc!compilers-sender
  3. From: anton@mips.complang.tuwien.ac.at (Anton Ertl)
  4. Subject: Re: Errors and Type checking.
  5. Reply-To: anton@mips.complang.tuwien.ac.at (Anton Ertl)
  6. Organization: Institut fuer Computersprachen, Technische Universitaet Wien
  7. Date: Tue, 12 Jan 1993 09:24:45 GMT
  8. Approved: compilers@iecc.cambridge.ma.us
  9. Message-ID: <93-01-071@comp.compilers>
  10. References: <93-01-041@comp.compilers> <93-01-065@comp.compilers>
  11. Keywords: performance, debug
  12. Sender: compilers-sender@iecc.cambridge.ma.us
  13. Lines: 28
  14.  
  15. jlg@cochiti.lanl.gov (J. Giles) writes:
  16. > Most errors are not syntactic or static semantic errors (like type
  17. > errors).  The vast majority of debugging time is spent isolating and
  18. > correcting problems which are not - and cannot be - found by the
  19. > typechecks no matter how strict your type system is.
  20.  
  21. I can confirm this from experience with languages that do not check types
  22. at all (e.g. Forth). I have not found type errors to be a problem.  There
  23. are two reasons for this:
  24.  
  25. 1) I make fewer type errors than when programming in a compile-time
  26. type-checked language. I.e., I am more careful. It probably takes a bit of
  27. time to develop that programming mode.
  28.  
  29. 2) When I make a type error, it is usually easy to catch and correct (It
  30. helps if the language is interactive).
  31.  
  32. I think the more problematic type errors are those that the type checker
  33. does not check, e.g. a search tree that is not sorted. Of course, this
  34. sort of error could be caught with compile-time assertion checkers, but
  35. somehow this technology has not caught on.
  36.  
  37. - anton
  38. -- 
  39. M. Anton Ertl    anton@mips.complang.tuwien.ac.at
  40. -- 
  41. Send compilers articles to compilers@iecc.cambridge.ma.us or
  42. {ima | spdcc | world}!iecc!compilers.  Meta-mail to compilers-request.
  43.