home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1993 #1 / NN_1993_1.iso / spool / comp / lang / ada / 3861 < prev    next >
Encoding:
Text File  |  1993-01-04  |  1.5 KB  |  41 lines
  1. Newsgroups: comp.lang.ada
  2. Path: sparky!uunet!caen!hellgate.utah.edu!peruvian.cs.utah.edu!matwood
  3. From: matwood%peruvian.cs.utah.edu@cs.utah.edu (Mark Atwood)
  4. Subject: Re: An Ada Program Does What It Says?
  5. Date: 4 Jan 93 08:28:27 MST
  6. Message-ID: <1993Jan4.082827.11773@hellgate.utah.edu>
  7. Organization: University of Utah
  8. References: <9301031530.AA17787@ajpo.sei.cmu.edu>
  9. Lines: 30
  10.  
  11. In article <9301031530.AA17787@ajpo.sei.cmu.edu>, SAHARBAUGH@ROO.FIT.EDU writes:
  12. >I searched B&M's book and noted each example program whose 
  13. >output is "indeterminate" or "implementation dependent".  I 
  14. >noted the page number on which the answer appears.  
  15.  
  16. (deleted)
  17.  
  18. >My warning stands.  Ada code looks deceptively readable.  The 
  19. >reader must understand the language translator and the 
  20. >runtime environment to be able to correctly read an Ada 
  21. >program.
  22.  
  23. I just finished reading those books, and yes there do seem to be a lot of
  24. indeterminate and compiler dependent "thing" in the Ada standard.  A co-
  25. worker and I discussed it for a while and made the observation that probably
  26. every language has these "gotcha"'s, they just aren't as well documented
  27. or understood.
  28.  
  29. Stuff like expression ordering, floating point representation, concurency,
  30. etc, will always be indeterminate.
  31.  
  32. Not to trigger yet another C vs Ada flamefest, but this expression in
  33. C is a classic example...
  34.  
  35.   r = (i++ == ++i)
  36.  
  37. -- 
  38. Mark Atwood                  :: Being a kitten is it's own excuse.
  39. matwood@peruvian.cs.utah.edu :: 
  40. The University has enough problems without being blamed for mine.
  41.