Article View: comp.sys.transputer
Article #1703Re: IS Occam3 recursive?
From: & Stevens
Date: Mon, 16 Nov 1992 18:55
Date: Mon, 16 Nov 1992 18:55
35 lines
1825 bytes
1825 bytes
Now the arguments about recursion and OCCAM have been going a while I though I would make a quick summary. FOR recursion: 1. Recursion is mathematically elegent. Serious software engineering requires it. 2. Code generation isn't hard. Handle the stack extension is possible. If it can be done for C, you can do it for OCCAM. 3. You don't need to use it. If you want to be able to predetermine memory usage at compile time don't recurese. 4. Why single out memory as the single resource that should be predetermined at compile time. Time is another resource that runs out, and so does disk space. AGAINST recursion: 1. OCCAM 2 doesn't do it. 2. Its not implemented in OCCAM 2. 3. Thats all I can think of, but I am sure it has something to do with OCCAM 2. Personally I think the arguments against have it :-) Ok enough humour, how about the even tricker issue of dynamic memory allocation. Does OCCAM 3 need it as part of the language? Should OCCAM 3 have type safe pointers? Or should we be content with INT32 and library procedures to allocate memory? Would all this overburned OCCAM and turn it into yet another hacked up language like C? Michael Stevens, Robotics Research Group,Dept of Engineering Science,Oxford,UK INTERNET: michael@robots.oxford.ac.uk -- Michael Stevens, Robotics Research Group,Dept of Engineering Science,Oxford,UK INTERNET: michael@robots.oxford.ac.uk
Technical Details
Message-ID:
<MICHAEL.92Nov16185558@lucrece.uk.ac.oxford>Path:
arc1-ca.pugleaf.net!sparky!uunet!mcsun!uknet!comlab.ox.ac.uk!michaelShow Full Headers
Complete Article Headers
Path: arc1-ca.pugleaf.net!sparky!uunet!mcsun!uknet!comlab.ox.ac.uk!michael From: michael@uk.ac.oxford.robots (& Stevens) Newsgroups: comp.sys.transputer Subject: Re: IS Occam3 recursive? Message-ID: <MICHAEL.92Nov16185558@lucrece.uk.ac.oxford> Date: 16 Nov 92 18:55:58 GMT Organization: Dept. Engineering Science, Oxford University, UK Lines: 35 In-reply-to: rob@pact.nl's message of 13 Nov 92 14:01:57 GMT