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