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=-1.3 required=5.0 tests=BAYES_00,INVALID_MSGID autolearn=no autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: f891f,9d58048b8113c00f X-Google-Attributes: gidf891f,public X-Google-Thread: 1014db,9d58048b8113c00f X-Google-Attributes: gid1014db,public X-Google-Thread: 10cc59,9d58048b8113c00f X-Google-Attributes: gid10cc59,public X-Google-Thread: 103376,2e71cf22768a124d X-Google-Attributes: gid103376,public X-Google-Thread: 101deb,b20bb06b63f6e65 X-Google-Attributes: gid101deb,public From: fjh@mundook.cs.mu.OZ.AU (Fergus Henderson) Subject: Re: next "big" language?? (disagree) Date: 1996/06/30 Message-ID: <4r56dg$1k4@mulga.cs.mu.OZ.AU>#1/1 X-Deja-AN: 162893915 references: <4q707h$1r2@krusty.irvine.com> <4r19nc$b3h@mulga.cs.mu.OZ.AU> organization: Comp Sci, University of Melbourne newsgroups: comp.lang.pascal,comp.lang.c,comp.lang.misc,comp.lang.pl1,comp.lang.ada Date: 1996-06-30T00:00:00+00:00 List-Id: dewar@cs.nyu.edu (Robert Dewar) writes: >"Why would anyone want this model?" > >referring to the non-intrusive model of assert, where putting in asserts >does not affect the rest of the generated code (the one I noted was hard >to define). > >Seems self-explanatory to me -- I am not saying that it is the preferable >semantics, but it is easy to understand why people want this, they want >to be able to turn assertions on and off without affecting the behavior >of the code. But it *does* affect the behaviour! Are the people who want this model asking for the impossible? -- Fergus Henderson | "I have always known that the pursuit WWW: | of excellence is a lethal habit" PGP: finger fjh@128.250.37.3 | -- the last words of T. S. Garp.