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