From: cbbrowne@news.hex.net (Christopher Browne)
Subject: Re: Is this ground dead? Also, info on Mach that's more recent
Date: 1998/01/20
Date: 1998-01-20T00:00:00+00:00 [thread overview]
Message-ID: <6a1ao2$sht$3@blue.hex.net> (raw)
In-Reply-To: 6a0351$i53@nike.volvo.se
On 19 Jan 1998 17:39:45 GMT, feladdress.peter@vtd.volvo.feladdress.se
<feladdress.peter@vtd.volvo.feladdress.se> wrote:
>
>Checking at compile time is to put a bucket under the hole
>instead of fixing the leak!
>
>Typechecking done by the compiler is (IMHO) the wrong place.
>It should be done at link time (or load time) .
>
>Typechecking at compile time will among other things create
>awful code at those times where typechecking is not wanted.
>(like printf() ) and does not really prevent one from
>screwing up arguments under all circumstances.
In the "real" world, things get messy, and it's expedient to solve
problems in varying ways depending on what methodology seems most
expedient.
Checking at compile time has the "advantage" that errors may be picked
up before users are ever exposed to the code. For embedded systems,
this can be critical.
Checking at run time (or link time or load time) puts the checking off;
if this results in the system being allowed into a dangerously
inconsistent state, this may prove unacceptable.
Neither approach is perfect; they all have application...
--
"We all know Linux is great...it does infinite loops in 5 seconds."
(Linus Torvalds about the superiority of Linux on the Amterdam Linux
Symposium)
cbbrowne@hex.net - <http://www.hex.net/~cbbrowne/lsf.html>
next prev parent reply other threads:[~1998-01-20 0:00 UTC|newest]
Thread overview: 11+ messages / expand[flat|nested] mbox.gz Atom feed top
[not found] <34AE2AE8.ED17B2C6@gildea.net>
[not found] ` <5l3eir6lvj.fsf@tequila.systemsz.cs.yale.edu>
[not found] ` <69j8u6$spl$1@encore.ece.cmu.edu>
[not found] ` <5lzpky66rq.fsf@tequila.systemsz.cs.yale.edu>
[not found] ` <69jr4q$44j$1@encore.ece.cmu.edu>
1998-01-17 0:00 ` Is this ground dead? Also, info on Mach that's more recent Thomas G. McWilliams
1998-01-17 0:00 ` David A. Cuthbert
1998-01-17 0:00 ` Robert Dewar
1998-01-19 0:00 ` vonhend
1998-01-19 0:00 ` Robert Dewar
1998-01-19 0:00 ` Anonymous
1998-01-19 0:00 ` feladdress.peter
1998-01-19 0:00 ` Robert Dewar
1998-01-20 0:00 ` Christopher Browne [this message]
1998-01-20 0:00 ` Is this ground dead? Also, info on Mach that's more rec Jerry van Dijk
1998-01-22 0:00 ` Compile-time type checking Nick Roberts
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox