Return-Path: <kfoury@cs.bu.edu> X-Spam-HitLevel: X-Spam-DCC: wuwien: cs3.bu.edu 1290; Body=2 Fuz1=2 Fuz2=2 X-Spam-Checker-Version: SpamAssassin 3.1.0 (2005-09-13) on cs3.bu.edu X-Spam-Level: X-Spam-Status: No, score=-4.3 required=10.0 tests=ALL_TRUSTED,AWL,BAYES_00, DATE_IN_PAST_03_06 autolearn=ham version=3.1.0 X-Spam-Pyzor: Received: from [128.197.14.202] (cs4-dhcp202.bu.edu [128.197.14.202]) (authenticated bits=0) by cs3.bu.edu (8.13.6/8.13.6) with ESMTP id k9GMmFv9018854; Mon, 16 Oct 2006 18:48:20 -0400 Message-ID: <4533C555.3050406@cs.bu.edu> Date: Mon, 16 Oct 2006 17:45:57 +0000 From: Assaf Kfoury <kfoury@cs.bu.edu> User-Agent: Mozilla Thunderbird 1.0.7 (X11/20051013) X-Accept-Language: en-us, en To: samepst@cs.bu.edu CC: cs520@cs.bu.edu Subject: Re: Problem Set 6 problem 4 References: <2417.71.192.166.44.1161024704.squirrel@cs-squirrelmail.bu.edu> In-Reply-To: <2417.71.192.166.44.1161024704.squirrel@cs-squirrelmail.bu.edu> Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit X-Clamav-Status: No Status: RO Content-Length: 607 X-UID: 21 X-Keywords:
The programming language that you want to use is that of Handout 09.
Yes, the type of a table should be "Nat -> OptionalNat" and the type of
"extendTable" should be "Table -> Nat -> Nat -> Table".
Assaf
samepst@cs.bu.edu wrote:
>What language can be used to implement the new extendtable, in regards to
>problem set 6 problem 4? Or in other words are there language constructs
>that we have learned about, but are not allowed to use in this
>implementation? Is it required that a table be of type Nat->OptionalNat,
>and extendtable be of type Table->Nat->Nat->Table?
>
>Thank You,
>-Sam Epstein
>
>
This archive was generated by hypermail 2b29 : Thu Dec 14 2006 - 16:31:59 EST