🚀 go-pugleaf

RetroBBS NetNews Server

Inspired by RockSolid Light RIP Retro Guy

Article View: comp.sys.transputer
Article #1703

Re: IS Occam3 recursive?

#1703
From: & Stevens
Date: Mon, 16 Nov 1992 18:55
35 lines
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!michael

Show 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