Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Posting-Version: version B 2.10.1 6/24/83; site fluke.UUCP
Path: utzoo!linus!decvax!genrad!grkermit!masscomp!clyde!floyd!vax135!cornell!uw-beaver!microsoft!fluke!bhaskar
From: bhaskar@fluke.UUCP (K.S. Bhaskar)
Newsgroups: net.lang
Subject: Re: Anti-CLU... Anti-Strong-Typing...
Message-ID: <816@vax2.fluke.UUCP>
Date: Tue, 29-Nov-83 15:28:06 EST
Article-I.D.: vax2.816
Posted: Tue Nov 29 15:28:06 1983
Date-Received: Fri, 2-Dec-83 06:35:09 EST
References: <411@dartvax.UUCP>
Organization: John Fluke Mfg. Co., Everett, Wash
Lines: 12

The problem with so-called "strongly typed" languages like Pascal is
that the typing is all wrong.  They try to type identifiers.  There are
situations where this is reasonable, but, in most cases, type
information should be attached to the value, not the identifier.

Languages like Smalltalk and Snobol4, therefore, have true strong
typing.  Languages like Pascal have an apology for type checking (when
are we going to stop perpetuating the myth that they have strong
typing?).  Languages like Ada are an abomination, and are best
forgotten...

K.S. Bhaskar {allegra,lbl-csam,microsoft,sb1,uw-beaver}!fluke!bhaskar