home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #27 / NN_1992_27.iso / spool / comp / sys / transput / 1207 < prev    next >
Encoding:
Internet Message Format  |  1992-11-18  |  2.2 KB
  1. Path: sparky!uunet!usc!zaphod.mps.ohio-state.edu!magnus.acs.ohio-state.edu!usenet.ins.cwru.edu!agate!doc.ic.ac.uk!uknet!news.cs.bham.ac.uk!nht
  2. From: nht@cs.bham.ac.uk (Neville H Thomas)
  3. Newsgroups: comp.sys.transputer
  4. Subject: Re: IS Occam3 recursive?
  5. Message-ID: <Bxuxz5.F0E@cs.bham.ac.uk>
  6. Date: 17 Nov 92 11:16:16 GMT
  7. References: <MICHAEL.92Nov16185558@lucrece.uk.ac.oxford>
  8. Sender: news@cs.bham.ac.uk
  9. Organization: School of Computer Science, University of Birmingham, UK
  10. Lines: 46
  11. Nntp-Posting-Host: fattie
  12.  
  13. In article <MICHAEL.92Nov16185558@lucrece.uk.ac.oxford> michael@uk.ac.oxford.robots (& Stevens) writes:
  14. >Now the arguments about recursion and OCCAM have been going a while I
  15. >though I would make a quick summary.
  16. >
  17. >FOR recursion:
  18. >    1. Recursion is mathematically elegent. Serious software
  19. >engineering requires it.
  20. >    2. Code generation isn't hard. Handle the stack extension is possible.
  21. >If it can be done for C, you can do it for OCCAM.
  22. >    3. You don't need to use it. If you want to be able to
  23. >predetermine memory usage at compile time don't recurese.
  24. >    4. Why single out memory as the single resource that should be
  25. >predetermined at compile time. Time is another resource that runs out,
  26. >and so does disk space.
  27. >
  28. >AGAINST recursion:
  29. >    1. OCCAM 2 doesn't do it.
  30. >    2. Its not implemented in OCCAM 2.
  31. >    3. Thats all I can think of, but I am sure it has something to
  32. >do with OCCAM 2.
  33. >
  34. >Personally I think the arguments against have it :-)
  35. >
  36. >Ok enough humour, how about the even tricker issue of dynamic memory
  37. >allocation. Does OCCAM 3 need it as part of the language? Should OCCAM
  38. >3 have type safe pointers? Or should we be content with INT32 and
  39. >library procedures to allocate memory?
  40. >
  41. >Would all this overburned OCCAM and turn it into yet another hacked up
  42. >language like C?
  43. >
  44.  
  45. Three years ago I wrote a large program in Occam2.
  46.  
  47. After writing some stack based utilities using arrays in Occam to
  48. allow simulated recursion. This took time to develop.
  49.  
  50. Nowadays I use Inmos Parallel C which is a far more usable language.
  51.  
  52.  
  53.  
  54. -- 
  55. Email: N.H.Thomas@cs.bham.ac.uk     G7ABW
  56. Work:   Fax: +44 (0)21 414 4281     Tel: +44 (0)21 414 3736
  57. Home:   Fax: +44 (0)21 454          Tel: +44 (0)21 454 5729
  58. Mobile: +44 (0)891 
  59.