cs 520 implementation

From: Yarom Gabay (yarom@cs.bu.edu)
Date: Wed Oct 06 2004 - 12:53:42 EDT 

Return-Path: <yarom@cs.bu.edu>
Received: from rwcrmhc11.comcast.net (rwcrmhc11.comcast.net [204.127.198.35]) by cs3.bu.edu (8.12.11/8.12.11) with ESMTP id i96Gribo019930 for <kfoury@cs.bu.edu>; Wed, 6 Oct 2004 12:53:44 -0400
Received: from yaromathome (h00095b97ac29.ne.client2.attbi.com[24.218.217.208]) by comcast.net (rwcrmhc11) with SMTP id <2004100616534301300c3ekge> (Authid: yarom); Wed, 6 Oct 2004 16:53:43 +0000
Message-ID: <000a01c4abc5$09cf3ce0$0200a8c0@YaromAtHome>
From: "Yarom Gabay" <yarom@cs.bu.edu>
To: "Assaf kfoury" <kfoury@cs.bu.edu>
Subject: cs 520 implementation
Date: Wed, 6 Oct 2004 12:53:42 -0400
Content-Type: multipart/alternative; boundary="----=_NextPart_000_0007_01C4ABA3.821B6970"
X-Priority: 3
X-MSMail-Priority: Normal
X-Mailer: Microsoft Outlook Express 6.00.2900.2180
X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2900.2180
X-Spam-HitLevel: 
X-Spam-DCC: MessageCare: cs3.bu.edu 1108; Body=1 Fuz1=1 Fuz2=1
X-Spam-Checker-Version: SpamAssassin 2.64 (2004-01-11) on cs3.bu.edu
X-Spam-Level: 
X-Spam-Status: No, hits=0.1 required=10.0 tests=AWL,HTML_50_60,HTML_MESSAGE  autolearn=no version=2.64
X-Spam-Pyzor: Reported 0 times.
Status:   
X-Mozilla-Status: 8003
X-Mozilla-Status2: 00000000
X-UIDL: 411f69ec0000103f


Content-Type: text/plain; charset="iso-8859-1"
Content-Transfer-Encoding: quoted-printable

Hi Assaf,

Going back to what we talked about the interpreter resulted lambda with free variables.

I ran the foolowing on both SCM and DrScheme:

( (lambda (x) (lambda (y) x)) (lambda(x) x) )

What we expected was (lambda(y) (lambda(x) x))

The result was: #<CLOSURE <anon> (y) x>

I believe that in order to get the result of (lambda y. lambda x. x) when working with any sort of environment, one would have to use substitution mechanism at some point.

Do you agree?

Thanks,
Yarom.

This archive was generated by hypermail 2b29 : Fri Nov 19 2004 - 17:00:43 EST