home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1993 #3 / NN_1993_3.iso / spool / comp / lang / forth / 3942 next >
Encoding:
Text File  |  1993-01-21  |  2.1 KB  |  46 lines
  1. Newsgroups: comp.lang.forth
  2. Path: sparky!uunet!email!mips.complang.tuwien.ac.at!anton
  3. From: anton@mips.complang.tuwien.ac.at (Anton Ertl)
  4. Subject: Re: forth type checker
  5. Message-ID: <1993Jan21.082304.28301@email.tuwien.ac.at>
  6. Sender: news@email.tuwien.ac.at
  7. Nntp-Posting-Host: mips.complang.tuwien.ac.at
  8. Organization: Institut fuer Computersprachen, Technische Universitaet Wien
  9. References: <1993Jan19.125525.17459@email.tuwien.ac.at> <1993Jan19.212029.15677@crd.ge.com> <1993Jan20.093607.20349@email.tuwien.ac.at> <1993Jan20.183012.1078@csi.uottawa.ca>
  10. Date: Thu, 21 Jan 1993 08:23:04 GMT
  11. Lines: 33
  12.  
  13. In article <1993Jan20.183012.1078@csi.uottawa.ca>,
  14. cbbrowne@csi.uottawa.ca (Christopher Browne) writes:
  15. |> In article <1993Jan20.093607.20349@email.tuwien.ac.at>
  16. anton@mips.complang.tuwien.ac.at (Anton Ertl) writes:
  17.  
  18. [on strongly/weakly typed]
  19. |> >I agree. Therefore I advocate not using them at all.
  20. |> 
  21. |> I mildly disagree: "strong" tends to refer to systems that attempt to
  22. |> forbid the type errors; the fact that they aren't PERFECTLY strong
  23. |> doesn't deny the ATTEMPT.  "Weakly" typed languages tend either to
  24. |> either enforce few or no type errors.
  25.  
  26. That would be alright, if the terms were used with these meanings.
  27. Unfortunately they aren't. Pascal, which (as usually implemented) has
  28. holes in it's type system, is usually called strongly typed, whereas
  29. Lisp, which has no holes, is usually called weakly typed (and some
  30. people even call it untyped).
  31.  
  32. [on the variant record hole in most Pascal implementations]
  33. |> This special exception doesn't deny the fact that Pascal's compile
  34. |> time type checking is normally rather strong.  You have to do
  35. |> something fairly special to be able to ignore type checking in Pascal.
  36.  
  37. I would not call variant records "something fairly special". They are
  38. present in every significant program. And once you have them, you just
  39. have to, e.g., remember the wrong field name and, voila, there's your
  40. uncaught type error.
  41.  
  42. - anton
  43. -- 
  44. M. Anton Ertl                    Some things have to be seen to be believed
  45. anton@mips.complang.tuwien.ac.at Most things have to be believed to be seen
  46.