Path: utzoo!utgpu!news-server.csri.toronto.edu!rpi!zaphod.mps.ohio-state.edu!sol.ctr.columbia.edu!emory!gatech!bloom-beacon!eru!hagbard!sunic!mcsun!ukc!edcastle!cs.ed.ac.uk!cs.edinburgh.ac.uk!nick
From: nick@cs.edinburgh.ac.uk (Nick Rothwell)
Newsgroups: comp.lang.misc
Subject: Re: Dynamic typing (part 31,497)
Message-ID: <9027@skye.cs.ed.ac.uk>
Date: 17 Apr 91 14:03:05 GMT
References: <1957@optima.cs.arizona.edu> <3857@ssc-bee.ssc-vax.UUCP>
Sender: nnews@cs.ed.ac.uk
Reply-To: nick@lfcs.ed.ac.uk
Organization: Tasha Yar Appreciation Soc... oh, sh*t
Lines: 17

In article <3857@ssc-bee.ssc-vax.UUCP>, dmg@ssc-vax (David M Geary) writes:
>   Many C (or C++) programmers can be found who write code like this:
> 
> void  printXValue( someType  *p)
> {
>   printf("%d\n", p->x);
> }

>   The code will type check

`printf' isn't typechecked.

-- 
Nick Rothwell,	Laboratory for Foundations of Computer Science, Edinburgh.
                nick@lfcs.ed.ac.uk    <Atlantic Ocean>!mcsun!ukc!lfcs!nick
~~ ~~ ~~ ~~ ~~ ~~ ~~ ~~ ~~ ~~ ~~ ~~ ~~ ~~ ~~ ~~ ~~ ~~ ~~ ~~ ~~ ~~ ~~ ~~ ~~
"Playing strip poker with an exhibitionist somehow defeats the object...."