[net.lang] C = Pascal ... the truth!

randals (01/28/83)

"C = Pascal" is false.

"C = f(Pascal)" is true.

Proof by observation.  See Whitesmith's "Pascal-to-C" Translator.
This is not a trivial program (ala' "/bin/cat"), but a full-blown
piece of coding.

My conjecture, that there exists no inverse for "f", can be proved
as an exercise by the reader.

Not afraid to prove my name,
Randal L. Schwartz
Tektronix Microcomputer Development Products (until Monday)
Tektronix Engineering Computing Systems (after Monday)
(On Monday, I'm nothing ... No computer!)
Beaverton, Oregon, USA

UUCP:	...!{ucbvax or decvax}!teklabs!tekmdp!randals (ignore return address)
CSNET:	tekmdp!randals @ tektronix
ARPA:	tekmdp!randals.tektronix @ rand-relay

heliotis (02/02/83)

The truth is, any programming language can be translated to any other one,
since they are all (supposedly) Turing-machine compatible.  Some tranlations
(your "f") are just tougher than others, e.g., Ada-->BASIC.  If we are only
talking about "easy f's", then how would you translate PASCAL's nested
procedures to C?

						Jim Heliotis,
						U. of Rochester