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: 103376,15edb893ef79e231 X-Google-Attributes: gid103376,public X-Google-Thread: 114809,15edb893ef79e231 X-Google-Attributes: gid114809,public X-Google-ArrivalTime: 2002-02-14 01:59:08 PST Path: archiver1.google.com!news1.google.com!newsfeed.stanford.edu!news-spur1.maxwell.syr.edu!news.maxwell.syr.edu!newsfeed1.bredband.com!bredband!newsfeed1.telenordia.se!algonet!uab.ericsson.se!not-for-mail Message-ID: <3C6B8A69.5F6C0BF4@uab.ericsson.se> From: Barry Watson Organization: Ericsson Utvecklings AB X-Mailer: Mozilla 4.77 [en]C-CCK-MCD (Windows NT 5.0; U) X-Accept-Language: sv,en-US MIME-Version: 1.0 Newsgroups: comp.lang.lisp,comp.lang.ada,comp.lang.eiffel,comp.lang.smalltalk Subject: Re: True faiths ( was Re: The true faith ) References: <4idg3u40ermnp682n6igc5gudp7hajkea9@4ax.com> <3219936759616091@naggum.net> <3c4a149d.9839580@news.bigpond.com> <43d7620c.0202130831.306d52d5@posting.google.com> Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit Date: Thu, 14 Feb 2002 10:59:05 +0100 NNTP-Posting-Host: 134.138.113.223 X-Complaints-To: newsmaster@uab.ericsson.se X-Trace: uab.ericsson.se 1013680746 134.138.113.223 (Thu, 14 Feb 2002 10:59:06 MET) NNTP-Posting-Date: Thu, 14 Feb 2002 10:59:06 MET Xref: archiver1.google.com comp.lang.lisp:26498 comp.lang.ada:19994 comp.lang.eiffel:5681 comp.lang.smalltalk:19613 Date: 2002-02-14T10:59:05+01:00 List-Id: Tom Hawker wrote: > > Bruce Hoult wrote in message news:... > > > > Nicklaus Wirth spent a year on sabbatical at Apple, designing Object > > Pascal with them. > > > > -- Bruce > > Two thoughts. > > 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... You're thinking of Concurrent Pascal, didn't even have recursive functioon calls, idea beaing you could predict stack usage in advance. I think the ordinary Pascal was designed to be self documenting rather than provable.