Newsgroups: comp.lang.scheme
Path: cantaloupe.srv.cs.cmu.edu!bb3.andrew.cmu.edu!newsfeed.pitt.edu!gatech!newsfeed.internetmci.com!howland.reston.ans.net!nntp.coast.net!col.hp.com!news.dtc.hp.com!hplntx!hplntx.hpl.hp.com!gjr
From: gjr@hplgr2.hpl.hp.com (Guillermo (Bill) J. Rozas)
Subject: Re: R5RS?
Sender: news@hpl.hp.com (HPLabs Usenet Login)
Message-ID: <GJR.96Mar14110506@hplgr2.hpl.hp.com>
In-Reply-To: blume@zayin.cs.princeton.edu's message of 12 Mar 1996 15:46:53 GMT
Date: Thu, 14 Mar 1996 19:05:06 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>
	<BLUME.96Mar4160207@zayin.cs.princeton.edu>
	<ZIGGY.96Mar4220623@biere.ai.mit.edu>
	<BLUME.96Mar5103700@zayin.cs.princeton.edu>
	<ZIGGY.96Mar11141404@biere.ai.mit.edu>
	<BLUME.96Mar12104653@zayin.cs.princeton.edu>
Nntp-Posting-Host: hplgr2.hpl.hp.com
Organization: Hewlett-Packard Laboratories, Palo Alto, CA
Lines: 17

In article <BLUME.96Mar12104653@zayin.cs.princeton.edu> blume@zayin.cs.princeton.edu (Matthias Blume) writes:

|   Actually, I am not arguing in favour of strong type checking for
|   Scheme.  This thread only came up when Guillermo made some of his
|   blanket statements against the usefulness of types in general.

Excuse me, but I remember arguing against opaque types and mandated
static-only type checking, not types in general.  I very much believe
in the ability to create new types, in strong dynamic type checking,
and _optional_ static type checkers.

I will never object to optional tools.  People get different mileage
out of them.  Even if I don't particularly care for them, why should I
object to what they find reasonable to do their job?  I just object to
their forcing me to use their hammer when I find a different hammer
(or a screwdriver) more useful, even if in their eyes I am confused.

