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.9 required=5.0 tests=BAYES_00 autolearn=ham autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: f4fd2,23202754c9ce78dd X-Google-Attributes: gidf4fd2,public X-Google-Thread: fac41,15edb893ef79e231 X-Google-Attributes: gidfac41,public X-Google-Thread: 114809,15edb893ef79e231 X-Google-Attributes: gid114809,public X-Google-Thread: 103376,15edb893ef79e231 X-Google-Attributes: gid103376,public X-Google-ArrivalTime: 2002-02-13 17:56:28 PST Mime-Version: 1.0 X-Newsreader: knews 1.0b.1 References: <4idg3u40ermnp682n6igc5gudp7hajkea9@4ax.com> <3219936759616091@naggum.net> <3c4a149d.9839580@news.bigpond.com> <43d7620c.0202130831.306d52d5@posting.google.com> From: hs@heaven.nirvananet (Hartmann Schaffer) Subject: Re: True faiths ( was Re: The true faith ) Newsgroups: comp.lang.lisp,comp.lang.ada,comp.lang.eiffel,comp.lang.smalltalk Content-Type: text/plain; charset=us-ascii NNTP-Posting-Host: ppp216.albedo.net Message-ID: <3c6b194a@news.sentex.net> Date: 13 Feb 2002 20:56:26 -0500 X-Trace: 13 Feb 2002 20:56:26 -0500, ppp216.albedo.net Path: archiver1.google.com!news1.google.com!sn-xit-02!supernews.com!news.gv.tsc.tdk.com!falcon.america.net!sunqbc.risq.qc.ca!news.uunet.ca!news1.van.metronet.ca!news1.cal.metronet.ca!news1.tor.metronet.ca!nnrp1.tor.metronet.ca!news.sentex.net!ppp216.albedo.net Xref: archiver1.google.com comp.lang.lisp:26476 comp.lang.ada:19988 comp.lang.eiffel:5678 comp.lang.smalltalk:19595 Date: 2002-02-13T20:56:26-05:00 List-Id: In article <43d7620c.0202130831.306d52d5@posting.google.com>, tshawke@qwest.com (Tom Hawker) writes: > If I remember correctly, Pascal was originally designed based on a > provability calculus. That is, Pascal programs were supposed to be > provably correct (don't ask me to define that), which is why there > were so many things "missing", such as C-equivalents "break" and > "goto". Provability gave way to usability... i am quite sure that you remember incorrectly ;-): Pascal had goto (the labels were numeric, which helped the argument that gotos made code unreadable). afair it was tony hoare who used pascal in his provability calculus (there were some rumors that he was deeply disturbed by how easy it turned out to be to include goto in the calculus) > ... hs -- how are we defending our freedom and democracy by dismantling them?