From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me X-Spam-Level: X-Spam-Status: No, score=0.2 required=5.0 tests=BAYES_00,INVALID_MSGID, REPLYTO_WITHOUT_TO_CC autolearn=no autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,18a09885d036772 X-Google-Attributes: gid103376,public X-Google-Thread: f66ab,c2ed41f6f9544612 X-Google-Attributes: gidf66ab,public X-Google-Thread: fa705,4e5700f5f17e49f4 X-Google-Attributes: gidfa705,public 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 Message-ID: <6a1ao2$sht$3@blue.hex.net>#1/1 X-Deja-AN: 317580745 References: <69rdmb$j29$1@encore.ece.cmu.edu> <199801191517.QAA00894@basement.replay.com> <6a0351$i53@nike.volvo.se> Organization: Hex.Net Superhighway, DFW Metroplex 817-329-3182 Reply-To: cbbrowne@hex.net Newsgroups: comp.os.mach,comp.unix.bsd.misc,comp.lang.ada Date: 1998-01-20T00:00:00+00:00 List-Id: On 19 Jan 1998 17:39:45 GMT, 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 -