Re: Pointers to "why C behaves like that ?"

thp@cs.ucr.edu
26 Nov 2002 22:06:11 -0500

          From comp.compilers

Related articles
[34 earlier articles]
Re: Pointers to "why C behaves like that ?" joachim_d@gmx.de (Joachim Durchholz) (2002-11-24)
Re: Pointers to "why C behaves like that ?" jacob@jacob.remcomp.fr (jacob navia) (2002-11-26)
Re: Pointers to "why C behaves like that ?" jacob@jacob.remcomp.fr (jacob navia) (2002-11-26)
Re: Pointers to "why C behaves like that ?" jacob@jacob.remcomp.fr (jacob navia) (2002-11-26)
Re: Pointers to "why C behaves like that ?" david.thompson1@worldnet.att.net (David Thompson) (2002-11-26)
Re: Pointers to "why C behaves like that ?" ajo@andrew.cmu.edu (Arthur J. O'Dwyer) (2002-11-26)
Re: Pointers to "why C behaves like that ?" thp@cs.ucr.edu (2002-11-26)
Re: Pointers to "why C behaves like that ?" thp@cs.ucr.edu (2002-11-26)
Re: Pointers to "why C behaves like that ?" Nicola.Musatti@ObjectWay.it (Nicola Musatti) (2002-11-26)
Re: Pointers to "why C behaves like that ?" nmm1@cus.cam.ac.uk (Nick Maclaren) (2002-11-26)
Re: Pointers to "why C behaves like that ?" peter_flass@yahoo.com (Peter Flass) (2002-11-26)
Re: Pointers to "why C behaves like that ?" fjh@students.cs.mu.OZ.AU (Fergus Henderson) (2002-11-26)
Re: Pointers to "why C behaves like that ?" daniel_yokomiso@softhome.net (Daniel Yokomiso) (2002-11-26)
[26 later articles]
| List of all articles for this month |

From: thp@cs.ucr.edu
Newsgroups: comp.compilers
Date: 26 Nov 2002 22:06:11 -0500
Organization: University of California, Riverside
References: 02-11-122 02-11-147
Keywords: types, design
Posted-Date: 26 Nov 2002 22:06:11 EST

Clayton Weaver <cgweav@aol.com> wrote:
+ (re: type declarations)
+
+ What I want to know when programming or looking at other people's code
+ is:
+
+ What exactly is happening to which data in what order?
+
+ Do type declarations enhance or impede that
+ specification/comprehension?
+
+ That is the only interesting question about them. The time/space to
+ specify them in the code is trivial whether you have to spend it or
+ not.


Those are important questions, but there is also the question of
whether their answers could come from sources other than the
programmer. Why do we have computer in the first place, if not to
save humans from the tedium of determing information that can be
determined mechanically. IMHO, humans should quiz computers about the
types of objects whose types can mechanically be inferred, not the
other way around.


Tom Payne
[Declarations are deliberately redundant to catch errors. When I
write perl programs, in any but the tiniest I start with "use strict"
to make any undeclared variable an error, even though perl is quite
able to define variables on the fly. -John]



Post a followup to this message

Return to the comp.compilers page.
Search the comp.compilers archives again.