home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1993 #3 / NN_1993_3.iso / spool / comp / lang / forth / 3984 < prev    next >
Encoding:
Text File  |  1993-01-24  |  1.7 KB  |  41 lines
  1. Newsgroups: comp.lang.forth
  2. Path: sparky!uunet!think.com!spool.mu.edu!torn!nott!uotcsi2!news
  3. From: cbbrowne@csi.uottawa.ca (Christopher Browne)
  4. Subject: Re: Forth stack checker
  5. Message-ID: <1993Jan24.220010.7090@csi.uottawa.ca>
  6. Sender: news@csi.uottawa.ca
  7. Nntp-Posting-Host: prgf
  8. Organization: Dept. of Computer Science, University of Ottawa
  9. References: <1jv25pINNobc@usenet.INS.CWRU.Edu>
  10. Date: Sun, 24 Jan 93 22:00:10 GMT
  11. Lines: 28
  12.  
  13. In article <1jv25pINNobc@usenet.INS.CWRU.Edu> bs764@cleveland.Freenet.Edu (Fred H Olson) writes:
  14. >My approach is to build a special purpose interpreter/compiler and hence
  15. >the source code becomes it's "input data" and it's hard to anticipate
  16. >all possible data permutations that get thrown at it.
  17.  
  18. There's the unfortunate part - Forth contains some features that are
  19. by their nature almost uncheckable.
  20.  
  21. You can create a special purpose "interpreter" that will understand
  22. SOME Forth code, but not enough to make it a general tool.
  23. CREATE/DOES is going to be some of the words that would make such an
  24. interpreter "throw its hands up in despair."
  25.  
  26. >As a consequence I have dispaired of try to get it used more widely,
  27. >an am content to have a neat tool that I do use.
  28.  
  29. The nice thing about FORTH is that it's not TOO hard to put some of
  30. the type checking into words themselves.  It means that it may be
  31. possible to do both compile and run time checking.
  32.  
  33. In effect, we've got the "best" of both worlds; there is the choice of
  34. doing type checking any time we want.
  35.  
  36. -- 
  37. Christopher Browne                |     PGP 2.0 key available
  38. cbbrowne@csi.uottawa.ca           |======================================
  39. University of Ottawa              | Genius may have its limitations, but
  40. Master of System Science Program  | stupidity is not thus handicapped.
  41.