[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Software fault forces Ford recall
Note that I wasn't quite proposing two (equivalent) syntaxes.
The C-like syntax would go through a preprocessor and be
(possibly invisibly) converted to the standard occam syntax,
which would therefore be more fundamental and be a standard
for all derivative syntaxes.
>From owner-occam-com-out@xxxxxxxxx Mon Dec 18 04:34:26 2000
Date: Mon, 18 Dec 2000 07:24:12 EST
Subject: Re: Software fault forces Ford recall
To: P.H.Welch@xxxxxxxxx, occam-com@xxxxxxxxx
Content-Type: text/plain; charset="US-ASCII"
X-Mailer: Windows AOL sub 105
In a message dated 12/18/00 12:00:19 GMT Standard Time, P.H.Welch@xxxxxxxxx
> I suggest that both concrete syntaxes (syntaces?) be allowed. We could
> have a flag to the compiler to say which one to expect - or maybe that
> could be deduced fairly quickly and automatically?
Please don't underestimate the problems of having a language
with two syntaxes (inability to share code, two manuals, two sets
of training material, etc., etc.)
Also, with the occam experience to focus our hindsight, it should be
very clear that the problems of introducing *any* new language
to an uncaring world are truly awesome.
Although it only covers a fraction of the syntax, so not all of the
occam2 syntax and sematics problems have been addressed, the
Handel-C language already exists, has many users, and is being
pushed towards standardisation. If you do go ahead, it would be
nice, eventually to have just one C-like syntax for occam around!
Whatever your feelings about occam syntax, its ideas are clearly
right and we have found that users do take readily to the C-like syntax
of our occam-like language. There are now 110+ people employed in
the company exploiting Handel-C and some wonderful customer
validation, so something must be right somewhere.
With the best will in the world towards occam, I have agreed for
years with Tony Hoare's assertion that "occam really should have
Prof. Ian Page,
Founder, Celoxica Plc, (formerly ESL Ltd.)
8 Milton Park, Abingdon, Oxfordshire OX14 4RT