Re: An Interesting View of "Strong" Vs. "Weak" Typing

Article View: comp.lang.misc

Article #6640

#6640

From: R Harrison
Date: Wed, 10 Jan 1990 13:04

16 lines
1225 bytes

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

Technical Details

Message-ID: <2197@ecs.soton.ac.uk>

Path: arc1-ca.pugleaf.net!utzoo!attcan!uunet!mcsun!ukc!icdoc!sot-ecs!rh

References: <641@ajpo.sei.cmu.edu> <1990Jan5.084746.17836@cs.eur.nl>

Show Full Headers

Complete Article Headers

Path: arc1-ca.pugleaf.net!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

Reply to Parent Message