two co-existing projects
Brent Benson
bwb@concentra.com
Mon, 28 Apr 1997 21:39:55 -0400
This is a multi-part message in MIME format.
--------------CAA5A348F1F163F2392DF93F
Content-Type: text/plain; charset=us-ascii
Content-Transfer-Encoding: 7bit
Richard Coleman wrote:
>
> Also... I should qualify what I mean here.... By high level VM,
> I essentially mean de-sugar-fied lisp or scheme. Let's use
> a simplified form of lisp as our VM. The should make web
> and agent based stuff easy...
Here is the desugared Scheme/Lisp I usually use for an intermediate
representation.
--------------CAA5A348F1F163F2392DF93F
Content-Type: text/plain; charset=us-ascii; name="lambda-vm.txt"
Content-Transfer-Encoding: 7bit
Content-Disposition: inline; filename="lambda-vm.txt"
<expr> ::=
<constant>
| <variable-reference>
| <variable-assignment>
| <function>
| <application>
| <conditional>
<constant> ::=
<integer-literal>
| <float-literal>
| <character-literal>
| <string-literal>
| <boolean-literal>
<variable-reference> ::=
<variable-name>
<variable-assignment> ::=
(set! <variable-name> <expr>)
<function> ::=
(lambda (<variable-name> ...) <expr>)
<application> ::=
(<expr> ...)
<conditional> ::=
(if <expr> <expr> <expr>)
--------------CAA5A348F1F163F2392DF93F--