Newsgroups: comp.lang.scheme
Path: cantaloupe.srv.cs.cmu.edu!bb3.andrew.cmu.edu!newsfeed.pitt.edu!gatech!newsfeed.internetmci.com!sgigate.sgi.com!sdd.hp.com!apollo.hp.com!lf.hp.com!news.dtc.hp.com!hplntx!hplntx.hpl.hp.com!gjr
From: gjr@hplgr2.hpl.hp.com (Guillermo (Bill) J. Rozas)
Subject: Re: The value of static type-checking
Sender: news@hpl.hp.com (HPLabs Usenet Login)
Message-ID: <GJR.96Mar6112133@hplgr2.hpl.hp.com>
In-Reply-To: oz@nexus.yorku.ca's message of 6 Mar 96 10:03:19
Date: Wed, 6 Mar 1996 19:21:33 GMT
Reply-To: gjr@hpl.hp.com
References: <4gc83r$617@news.simplex.nl> <4gfrfi$m7u@camelot.ccs.neu.edu>
	<leavens.824995212@larch> <4gi3p0$kvh@agate.berkeley.edu>
	<leavens.825012724@larch> <GJR.96Feb22191305@hplgr2.hpl.hp.com>
	<BLUME.96Feb27152646@zayin.cs.princeton.edu>
	<GJR.96Feb28133746@hplgr2.hpl.hp.com>
	<BLUME.96Feb29105552@zayin.cs.princeton.edu>
	<GJR.96Mar4102338@hplgr2.hpl.hp.com>
	<qiju402yh2t.fsf_-_@lambda.ai.mit.edu> <OZ.96Mar6100319@nexus.yorku.ca>
Nntp-Posting-Host: hplgr2.hpl.hp.com
Organization: Hewlett-Packard Laboratories, Palo Alto, CA
Lines: 18

In article <OZ.96Mar6100319@nexus.yorku.ca> oz@nexus.yorku.ca (ozan s. yigit) writes:

|						   "Sure, Hindley-Milner
|      polymorphic typechecking finds bugs. But it won't find the important
|      bugs."
|
|   wasn't there a response that went like "... but it frees us from
|   having to worry about all the unimportant ones so that we can concentrate
|   on the stuff that matter" etc? i have no idea why i think of garbage
|   collection when i see that reply... :-]

However, garbage collection is optional.  I can still do explicit
memory management.  In addition, to my knowledge it does not impose
restricted semantics.

I would never object to an optional type checker.  I might even use it
most of the time when I thought a program was approaching completion.

