Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Path: utzoo!watmath!clyde!cbatt!ihnp4!chinet!nucsrl!gore
From: gore@nucsrl.UUCP
Newsgroups: comp.lang.misc
Subject: Re: Object-Oriented vs. Abstract Data Types
Message-ID: <4000005@nucsrl.UUCP>
Date: Tue, 27-Jan-87 14:08:50 EST
Article-I.D.: nucsrl.4000005
Posted: Tue Jan 27 14:08:50 1987
Date-Received: Thu, 29-Jan-87 18:37:15 EST
References: <1023@cuuxb.UUCP>
Organization: Northwestern Univ., Evanston IL
Lines: 13

/ shebs@utah-cs.UUCP (Stanley Shebs) / 10:15 am  Jan 26, 1987 /
> Having compile-time type checking only
> finds the second-least-interesting class of mistakes (syntax errors being
> the least interesting).  It does not do anything for semantic errors,
> such as those that flip F-16s upside down when crossing the equator...

This is true.  Still, I've spent many, many hours tracking down errors that
would have been detected by the compiler in other languages.  Detecting some
of the errors is better than nothing.

Jacob Gore
Northwestern University, Computer Science Research Lab
{ihnp4,chinet}!nucsrl!gore