[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: "unspecified" and SET!

To: scheme@mc.lcs.mit.edu
Subject: Re: "unspecified" and SET!
From: John Gateley <apple!sun-barr!texsun!pollux!ti-csl!m2!gateley@rutgers.edu>
Date: Wed ,21 Jun 89 23:27:48 EDT
Organization: TI Computer Science Center, Dallas
References: <3902@kalliope.rice.edu>, <19890619192610.2.ALAN@PIGPEN.AI.MIT.EDU>, <2281@ubc-cs.UUCP>
Sender: scheme-request@mc.lcs.mit.edu

In article <2281@ubc-cs.UUCP> manis@grads.cs.ubc.ca (Vincent Manis) writes:
>Going to the trouble to develop a calculus of unspecified values
>strikes me as almost as silly as some of the things I did when I was
>involved in writing an Algol 68 compiler.
 ...
>____________  Vincent Manis                    | manis@cs.ubc.ca
 ...

Do you mean Matthias Felleisen's calculus for Scheme? It is neither a 
calculus of unspecified values nor silly. It is a better theoretical
basis for Scheme than the lambda value calculus: it includes both
set! style side effects and continuations in its equations.

John
gateley@m2.csc.ti.com

Follow-Ups:
- Re: "unspecified" and SET!
  - From: Vincent Manis <att!alberta!ubc-cs!grads.cs.ubc.ca!manis@bloom-beacon.mit.edu>

References:
- "unspecified" and SET!
  - From: Dorai Sitaram <titan!dorai@rice.edu>
- "unspecified" and SET!
  - From: Alan Bawden <Alan@REAGAN.AI.MIT.EDU>
- Re: "unspecified" and SET!
  - From: Vincent Manis <att!alberta!ubc-cs!grads.cs.ubc.ca!manis@bloom-beacon.mit.edu>

Prev by Date: Re: "unspecified" and SET!
Next by Date: Re: "unspecified" and SET!
Previous by thread: Re: "unspecified" and SET!
Next by thread: Re: "unspecified" and SET!
Index(es):
- Date
- Thread