Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Path: utzoo!mnetor!seismo!rutgers!sri-unix!hplabs!hao!noao!arizona!megaron!debray
From: debray@megaron.UUCP
Newsgroups: comp.lang.misc
Subject: Re: Check the Arg Count (really, Types)
Message-ID: <1365@megaron.UUCP>
Date: Mon, 12-Jan-87 10:09:44 EST
Article-I.D.: megaron.1365
Posted: Mon Jan 12 10:09:44 1987
Date-Received: Tue, 13-Jan-87 06:44:29 EST
References: <3330@bu-cs.BU.EDU>
Organization: Dept of CS, U of Arizona, Tucson
Lines: 19

Barry Shein:
> From: sommar@enea.UUCP (Erland Sommarskog)
>> [ ... ] Also you seem to imply that type checking is only for bad
>> programmers. 
> 
> Perhaps its semantics. You call it type-checking. I'll call it
> type-obsession. When type-checking becomes so strong as to make it
> impossible to write a general purpose sort() subroutine or string
> handling library then yes, it is type-checking gone mad.

What you want is a Milner-style polymorphic type system.  There _are_
reasonable notions of what constitutes a "type" out there, even if Pascal
doesn't have them.
-- 
Saumya Debray
University of Arizona, Tucson

  debray@arizona.edu
  {allegra, cmcl2, ihnp4}!arizona!debray