home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1993 #1 / NN_1993_1.iso / spool / comp / compiler / 2142 < prev    next >
Encoding:
Internet Message Format  |  1993-01-11  |  1.6 KB
  1. Path: sparky!uunet!spool.mu.edu!uwm.edu!ogicse!das-news.harvard.edu!spdcc!iecc!compilers-sender
  2. From: winikoff@cs.mu.oz.au
  3. Newsgroups: comp.compilers
  4. Subject: Errors and Type checking.
  5. Keywords: debug, types
  6. Message-ID: <93-01-069@comp.compilers>
  7. Date: 12 Jan 93 18:13:32 GMT
  8. Article-I.D.: comp.93-01-069
  9. Sender: compilers-sender@iecc.cambridge.ma.us
  10. Reply-To: winikoff@cs.mu.oz.au
  11. Organization: Compilers Central
  12. Lines: 26
  13. Approved: compilers@iecc.cambridge.ma.us
  14.  
  15. > From: jlg@cochiti.lanl.gov (J. Giles)
  16. > ...  The vast majority of debugging time is spent isolating and
  17. > correcting problems which are not - and cannot be - found by the
  18. > typechecks no matter how strict your type system is.  To put it another
  19. > way: people make mistakes and those mistakes which the compiler (or some
  20. > analyzer) can find automatically are the least difficult to find and
  21. > correct.
  22.  
  23. Not neccessarily. A lot of the mistakes that people make induce type
  24. errors as a side effect.  Of course the type checker won't give you the
  25. cause of the error but in a fair number of cases it will detect that there
  26. is an error even if the error is a logical one.
  27.  
  28. > It seems to me that the main problem with compiler writers ... is that
  29. > compiler writers don't actually *use* the language the compiler is written
  30. > to compile.  Such compiler jockeys don't understand the issues which are
  31. > important to the users.
  32.  
  33. A fair number of languages have compilers that are written in themselves.
  34. (Eg. Prolog, C, Haskell ...)
  35. --
  36. Michael Winikoff
  37. winikoff@cs.mu.oz.au
  38. -- 
  39. Send compilers articles to compilers@iecc.cambridge.ma.us or
  40. {ima | spdcc | world}!iecc!compilers.  Meta-mail to compilers-request.
  41.