Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Posting-Version: version B 2.10.3 4.3bsd-beta 6/6/85; site ucbvax.BERKELEY.EDU
Path: utzoo!watmath!clyde!burl!ulysses!ucbvax!info-modula-2
From: nagler@ORB.UUCP (Rob Nagler)
Newsgroups: net.lang.mod2
Subject: Re:  extensions, a modest proposal
Message-ID: <8602281636.AA00590@orb.sun.uucp>
Date: Fri, 28-Feb-86 11:36:12 EST
Article-I.D.: orb.8602281636.AA00590
Posted: Fri Feb 28 11:36:12 1986
Date-Received: Sat, 1-Mar-86 18:09:07 EST
Sender: usenet@ucbvax.BERKELEY.EDU
Organization: The ARPA Internet
Lines: 12

Hi Arthur.  How's the weather in TX?  Back to the discussion...

I guess what I should have said is that strong type checking is
subverted by the introduction of overloading.  I kind like the
idea of using the name of my procedure as acheck unto itself.
When you combine generics and overloading you lose the extra compile 
time type checking that you get with unique names for every 
procedure.  I realize that you can strongly type check anything,
but my main use for type checking is to catch errors at compile time
before integration.  

Rob