Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Posting-Version: version B 2.10.1 6/24/83; site hou3c.UUCP
Path: utzoo!linus!decvax!harpo!floyd!clyde!burl!hou3c!ka
From: ka@hou3c.UUCP (Kenneth Almquist)
Newsgroups: net.lang
Subject: Re: Anti-CLU... Anti-Strong-Typing...
Message-ID: <132@hou3c.UUCP>
Date: Fri, 2-Dec-83 11:22:49 EST
Article-I.D.: hou3c.132
Posted: Fri Dec  2 11:22:49 1983
Date-Received: Sun, 4-Dec-83 08:28:52 EST
References: <411@dartvax.UUCP>, <816@vax2.fluke.UUCP> <666@cbosgd.UUCP>
Organization: Bell Labs, Holmdel, NJ
Lines: 12

Last I heard, Xerox was experimenting with compile time type checking
in Smalltalk.  The goal was to detect programmer errors at compile time
and to use the type information to generate more efficient code.  The
type information could be incomplete or omitted so that it would still
be possible to implement sets, sort routines, and the like.

It is interesting that Ada took the concept of strong typing from Pascal
and added features like overloading and generics which make it possible
to come closer to an "object oriented" style of programming while Small-
talk is moving in the direction of compile time type checking.  Perhaps
we are witnessing a convergence of ideas here?
				Kenneth Almquist