Xref: utzoo comp.lang.misc:3873 comp.software-eng:2750
Path: utzoo!attcan!uunet!mcsun!ukc!icdoc!sot-ecs!rh
From: rh@ecs.soton.ac.uk (R Harrison)
Newsgroups: comp.lang.misc,comp.software-eng
Subject: Re: An Interesting View of "Strong" Vs. "Weak" Typing
Keywords: typing, Ada, Lisp, definitions, evidence
Message-ID: <2197@ecs.soton.ac.uk>
Date: 10 Jan 90 13:04:37 GMT
References: <641@ajpo.sei.cmu.edu> <1990Jan5.084746.17836@cs.eur.nl>
Reply-To: rh@landin (R Harrison)
Organization: University of Southampton, UK
Lines: 16

In article <1990Jan5.084746.17836@cs.eur.nl> reino@cs.eur.nl (Reino de Boer) writes:
>eberard@ajpo.sei.cmu.edu (Edward Berard) writes:
>
>>Are there any references documenting the benefits of strong vs. weak
>>typing? 

The advantages of strong typing have been recognised for some time
- consider, for example, Gries and Gehani ("Some ideas on data type 
in high level languages, CACM 20, 1977, pp.414-420), in which the case 
for controlled polymorphic programming is discussed.

 Rachel Harrison        rh@uk.ac.soton.ecs 
 Department of Electronics and Computer Science,
 University of Southampton, Southampton SO9 5NH, UK 
 Tel. (0703) 593055  International 44 703 593055 
 Fax 0703 593045 International Fax 44 703 593045