Newsgroups: comp.lang.scheme
Path: cantaloupe.srv.cs.cmu.edu!bb3.andrew.cmu.edu!newsfeed.pitt.edu!newsflash.concordia.ca!news.nstn.ca!ott.istar!istar.net!tor.istar!east.istar!newsjunkie.ans.net!newsfeeds.ans.net!news-m01.ny.us.ibm.net!news.biu.ac.il!discus.technion.ac.il!news!qobi
From: qobi@eesun.technion.ac.il (Jeffrey Mark Siskind)
Subject: Re: multiple values
Reply-To: Qobi@EE.Technion.AC.IL
Organization: Technion, Israel Institute of Technology
Date: Sun, 28 Jul 1996 09:10:55 GMT
Message-ID: <QOBI.96Jul28121055@eesun.technion.ac.il>
In-Reply-To: shivers@ai.mit.edu's message of 25 Jul 1996 09:15:17 -0400
X-Nntp-Posting-Host: eesun.technion.ac.il
References: <qijn30oeaoq.fsf@lambda.ai.mit.edu>
Sender: news@discus.technion.ac.il (News system)
Lines: 16

In article <qijn30oeaoq.fsf@lambda.ai.mit.edu> shivers@ai.mit.edu (Olin Shivers) writes:

   Hey, no fair, Greg. The ML hackers got type systems; the Scheme hackers
   don't.

Who says? There are at least three implemented type systems for Scheme:
Wright & Cartwright's Soft Scheme, Flanagan & Felleisen's SBA, and Siskind's
Stalin. All of them type full Scheme with no restrictions.

   But you can't, as you suggested, just go add types to Scheme.
   Then it wouldn't be Scheme.

Why not? Pray tell why Stalin is not Scheme?
-- 

    Jeff (home page http://tochna.technion.ac.il/~qobi)
