Article View: comp.lang.misc
Article #4504Re: Check the Arg Count (really, Types)
From: debray
Date: Mon, 12 Jan 1987 15:09
Date: Mon, 12 Jan 1987 15:09
19 lines
1213 bytes
1213 bytes
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
Technical Details
Message-ID:
<1365@megaron.UUCP>Path:
arc1-ca.pugleaf.net!utzoo!mnetor!seismo!rutgers!sri-unix!hplabs!hao!noao!arizona!megaron!debrayReferences:
<3330@bu-cs.BU.EDU>Show Full Headers
Complete Article Headers
Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP Path: arc1-ca.pugleaf.net!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