Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Posting-Version: version B 2.10 5/3/83; site umcp-cs.UUCP
Path: utzoo!linus!decvax!harpo!seismo!rlgvax!cvl!umcp-cs!mark
From: mark@umcp-cs.UUCP
Newsgroups: net.lang
Subject: Re: Anti-CLU... Anti-Strong-Typing...
Message-ID: <4211@umcp-cs.UUCP>
Date: Sat, 3-Dec-83 20:12:35 EST
Article-I.D.: umcp-cs.4211
Posted: Sat Dec  3 20:12:35 1983
Date-Received: Tue, 6-Dec-83 23:39:03 EST
References: <411@dartvax.UUCP> <816@vax2.fluke.UUCP>
Organization: Univ. of Maryland, Computer Science Dept.
Lines: 17

I do agree that attaching types to values rather than identifiers
is an interesting idea, and that lots of languages already do it
(everything with runtime types rather than compile time).
But I definitely do not agree that everything with runtime types
is therefore strongly typed.

I would not say that Snobol4 and Smalltalk are strongly typed,
because the types are automatically coerced.  A strongly typed
language would complain immediately if a type mismatch occurs.
Snobol4 and smalltalk both handle the situation as best they can,
and complain only as a last resort.
-- 
spoken:	mark weiser
UUCP:	{seismo,allegra,brl-bmd}!umcp-cs!mark
CSNet:	mark@umcp-cs
ARPA:	mark.umcp-cs@CSNet-Relay