Newsgroups: comp.lang.scheme
Path: cantaloupe.srv.cs.cmu.edu!das-news2.harvard.edu!news4.ner.bbnplanet.net!news.ner.bbnplanet.net!news.mathworks.com!newsfeed.internetmci.com!chi-news.cic.net!newsjunkie.ans.net!newsfeeds.ans.net!news-m01.ny.us.ibm.net!news.biu.ac.il!discus.technion.ac.il!news!qobi
From: qobi@ee.technion.ac.il (Jeffrey Mark Siskind)
Subject: Re: R5RS?
Reply-To: Qobi@EE.Technion.AC.IL
Organization: Technion, Israel Institute of Technology
Date: Sun, 25 Feb 1996 12:45:37 GMT
Message-ID: <QOBI.96Feb25144537@ee.technion.ac.il>
In-Reply-To: will@ccs.neu.edu's message of 23 Feb 1996 22:17:26 GMT
X-Nntp-Posting-Host: ee.technion.ac.il
References: <4gc83r$617@news.simplex.nl> <4gfrfi$m7u@camelot.ccs.neu.edu>
	<j7vwx5fdhyk.fsf@mahasamatman.cs.rice.edu>
	<4gledn$gq7@camelot.ccs.neu.edu>
Sender: news@discus.technion.ac.il (News system)
Lines: 16

   One can write an R5RS-conforming EVAL in portable R4RS Scheme.  In
   that sense it is not necessary, and might as well be an SLIB module.

Short of writing a full evaluator (which can be done in any Turing equivalent
language and is thus vacuous) how do you propose to write EVAL in *portable*
R4RS. The standard hack of writing the argument to EVAL to a file and then
LOADing it is *not* portable because R4RS does not specify a string that is
guaranteed to be a valid pathname to a readable/writable file.

Mind you, I don't think that EVAL or LOAD should be part of Scheme but my
feeling on this matter is irrelevant to the issue of whether LOAD implies EVAL.

    Jeff (home page http://www.cs.toronto.edu/~qobi)
--

    Jeff (home page http://www.cs.toronto.edu/~qobi)
