Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Path: utzoo!mnetor!seismo!gatech!hubcap!ncrcae!ncr-sd!hp-sdd!hplabs!hplabsc!kempf
From: kempf@hplabsc.UUCP (Jim Kempf)
Newsgroups: comp.lang.smalltalk
Subject: Re: declarations vs smalltalk
Message-ID: <2144@hplabsc.UUCP>
Date: Tue, 30-Jun-87 17:48:06 EDT
Article-I.D.: hplabsc.2144
Posted: Tue Jun 30 17:48:06 1987
Date-Received: Wed, 1-Jul-87 07:18:57 EDT
References: <245100009@orstcs>
Organization: Hewlett-Packard Laboratories
Lines: 7


An alternative to explicit typing is type inference (inferring the
type from the code). Languages such as ML, which were designed
with type inference in mind, do this very well. The proceedings
of POPL-8 include a paper by Norihisa Suzuki on how to do this in
Smalltalk.
		Jim Kempf			kempf@hplabs.hp.com