Top level variable bindings

From: ashwin thangali (tvashwin@cs.bu.edu)
Date: Wed Sep 29 2004 - 23:45:30 EDT 

Return-Path: <tvashwin@cs.bu.edu>
Received: from csa.bu.edu (csa [128.197.12.3]) by cs3.bu.edu (8.12.11/8.12.11) with ESMTP id i8U3jVUU031722 for <cs520@cs.bu.edu>; Wed, 29 Sep 2004 23:45:31 -0400
Received: from localhost (tvashwin@localhost) by csa.bu.edu (8.10.1/8.10.1) with ESMTP id i8U3jUA17374 for <cs520@cs.bu.edu>; Wed, 29 Sep 2004 23:45:30 -0400 (EDT)
X-Authentication-Warning: csa.bu.edu: tvashwin owned process doing -bs
Date: Wed, 29 Sep 2004 23:45:30 -0400 (EDT)
From: ashwin thangali <tvashwin@cs.bu.edu>
X-Sender: tvashwin@csa.bu.edu
To: cs520 Course Account <cs520@cs.bu.edu>
Subject: Top level variable bindings
Message-ID: <Pine.SOL.4.20.0409292337200.28051-100000@csa.bu.edu>
Content-Type: TEXT/PLAIN; charset=US-ASCII
X-Spam-HitLevel: 
X-Spam-DCC: dcc.uncw.edu: cs3.bu.edu 1201; Body=2 Fuz1=2 Fuz2=2
X-Spam-Checker-Version: SpamAssassin 2.64 (2004-01-11) on cs3.bu.edu
X-Spam-Level: 
X-Spam-Status: No, hits=0.0 required=10.0 tests=none autolearn=ham  version=2.64
X-Spam-Pyzor: Reported 0 times.
Status: RO
X-Mozilla-Status: 8001
X-Mozilla-Status2: 00000000
X-UIDL: 411f69ec00000dd8

    Pierce's implementation allows top level bindings for variables. an
example of this is given on line3 in test.f. This is not a part of pure
untyped lambda calculus. do we need to implement this feature?

without this, a command like,

(lamda x. x) w

would be illegal. but if top level binding is provided before this command
then the command is legal.

thanks,
ashwin

Ashwin V. Thangali
111 Cummington Street,MCS 263,
Computer Science Dept,
Boston University,
Boston, MA 02215
Office: 617 358 1139
Home: 617 734 6209
Homepage: http://cs-people.bu.edu/tvashwin

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