home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #27 / NN_1992_27.iso / spool / comp / lang / modula2 / 1407 < prev    next >
Encoding:
Internet Message Format  |  1992-11-17  |  1.8 KB
  1. Path: sparky!uunet!comp.vuw.ac.nz!am.dsir.govt.nz!lhn.gns.cri.nz
  2. references: <1992nov16.080647.26783@informatik.uni-ulm.de>,<gpjqq!h+@aix01.rz.fht-mannheim.de>
  3. From: mdlcpgs@lhn.gns.cri.nz
  4. Newsgroups: comp.lang.modula2
  5. Subject: Re: Oberon vs Modula-2
  6. Message-ID: <2b0a09a8.44aa@lhn.gns.cri.nz>
  7. Date: Tue, 17 Nov 92 21:15:20 GMT  
  8. Organization: Institute of Gelogical & Nuclear Sciences, New Zealand.
  9. Lines: 26
  10.  
  11. >That doesn't work as soon as your procedure is public and (directly or
  12. >indirectly) calls some procedure not fully known to the compiler, since
  13. >the original argument may be accessible and modified behind the back of the
  14. >supposedly innocent routine. According to the current definition it only
  15. >sees a copy made at the entry and therefore would not be influenced by the
  16. >perfectly legal modification, but due to our smart optimizer ... :-(
  17.  
  18. Hobby horse time again! I will re-assert my belief that the Wirth languages
  19. need other optional attributes on variable declarations and formal
  20. parameter definitions besides just TYPE (and VAR in the case of formal
  21. parameters).
  22.  
  23. Very useful are:  Static; (I dont like module level being only way to
  24. declare static variables when the scope of variable may be only one
  25. procedure. Local modules in M2 were about the most complicated away to
  26. achieve what the a static identifier could do imaginable)
  27.           location; specifying the absolute memory address
  28. of variable (yes I know M2 implementation allow this).
  29.           Readonly; More power to compiler for finding logic
  30. errors and the solution to the by-value or by-reference versus
  31. efficiency problem in format parameters;
  32.  
  33. Without these, we expect the compiler to perform miracles with limited
  34. infomation. Adding them allows more power to compiler and efficency without
  35. compromise of method.
  36.     Phil
  37.