Xref: utzoo comp.lang.misc:2905 comp.lang.c:18478
Path: utzoo!utgpu!bnr-vpa!bnr-fos!bnr-public!schow
From: schow@bnr-public.uucp (Stanley Chow)
Newsgroups: comp.lang.misc,comp.lang.c
Subject: Re: Generalizing Integers (was Re: Specifying int size in C)
Summary: PL/I is not the whole world
Message-ID: <481@bnr-fos.UUCP>
Date: 8 May 89 02:22:40 GMT
References: <166@mole-end.UUCP>
Sender: news@bnr-fos.UUCP
Reply-To: schow%BNR.CA.bitnet@relay.cs.net (Stanley Chow)
Organization: Bell-Northern Research, Ottawa, Canada
Lines: 36
Followup-To:
Keywords:

In article <166@mole-end.UUCP> mat@mole-end.UUCP (Mark A Terribile) writes:
> [...]
>The problem with the PL/I approach is that the programmer is encouraged to
>think of such declarations as ``normal.''  The results are strange conversions
>leading to hard-to-find, hard-to-predict bugs which occur on boundaries that
>cannot be easily guessed at in either inspection, walk-through, or white-box
>testing, and leading also to extra code size and execution costs.
>

It seems to me that the declaration of integers can be seperated from the
conversion rules. PL/I happens to have conversion rules that make life very
interesting. This does not mean the *approach* is bad, merely PL/I did not
do this aspect right.

If you claim *all* such attempts are doomed to failure, then I take serious
issue with it.


>Bringing the complexity of code, seen as a cultural phenomanon, under some
>kind of control required going to a simpler model of computation, required
>going from PL/I to B.  As the limits of the simpler model(s) were discovered,
>they were expanded incrementally, first by going to C and then by extending
>C bit by bit.
>

I suggest that the model may be complex, as long as it is easy to reason
within that model. For example, Turing machines are very simple, but I find
it very difficult to do anything with them. On the other hand, LR(k) grammers
are far from simple, but I can write useful parsers with them.



Stanley Chow        BitNet:  schow@BNR.CA
BNR		    UUCP:    ..!psuvax1!BNR.CA.bitnet!schow
(613) 763-2831		     ..!utgpu!bnr-vpa!bnr-fos!schow%bnr-public
I am just a small cog in a big machine. I don't represent nobody.