(no subject)

From: Kanishka Gupta (kanishka@cs.bu.edu)
Date: Thu Sep 23 2004 - 20:41:25 EDT


Return-Path: <kanishka@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 i8O0fQmd029505 for <kfoury@cs.bu.edu>; Thu, 23 Sep 2004 20:41:26 -0400
Received: from localhost (kanishka@localhost) by csa.bu.edu (8.10.1/8.10.1) with ESMTP id i8O0fP921204 for <kfoury@cs.bu.edu>; Thu, 23 Sep 2004 20:41:25 -0400 (EDT)
X-Authentication-Warning: csa.bu.edu: kanishka owned process doing -bs
Date: Thu, 23 Sep 2004 20:41:25 -0400 (EDT)
From: Kanishka Gupta <kanishka@cs.bu.edu>
X-Sender: kanishka@csa.bu.edu
To: "A.J. Kfoury" <kfoury@cs.bu.edu>
Message-ID: <Pine.SOL.4.20.0409232033290.20751-100000@csa.bu.edu>
Content-Type: TEXT/PLAIN; charset=US-ASCII
X-Spam-HitLevel: 
X-Spam-DCC: sonic.net: cs3.bu.edu 1156; 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.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: 411f69ec00000b94

Prof. Kfoury,

I have a question on Excercise 5.3.7. Whwn chaging the semantics to handle
the run-time errors in lambdaNB, do we declare a run-time error whenever
there is some mismatch (for example a lambda term in the guard of an
if-then-else statement) OR do you want us to look further(for example if
the lambda term in the guard of the if-then-else is the church boolean
fls then execute the else part of the statement). The second part seems
extremely hard to imlement and I am also not sure whether it is even
correct to do soemething like this.

Thanks.
Kanishka



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