Re: FW: q4

From: Assaf Kfoury (kfoury@cs.bu.edu)
Date: Thu Oct 19 2006 - 19:20:13 EDT


Return-Path: <kfoury@cs.bu.edu>
X-Spam-HitLevel: 
X-Spam-DCC: INFN-TO: cs3.bu.edu 1233; 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  autolearn=ham version=3.1.0
X-Spam-Pyzor: 
Received: from [76.19.13.75] ([76.19.13.75]) (authenticated bits=0) by cs3.bu.edu (8.13.6/8.13.6) with ESMTP id k9JNK54E023173; Thu, 19 Oct 2006 19:20:35 -0400
Message-ID: <4538082D.50000@cs.bu.edu>
Date: Thu, 19 Oct 2006 19:20:13 -0400
From: Assaf Kfoury <kfoury@cs.bu.edu>
User-Agent: Mozilla Thunderbird 1.0.7 (X11/20051013)
X-Accept-Language: en-us, en
To: Rui Shi <shearer@cs.bu.edu>, cs520@cs.bu.edu
CC: Georgios Zervas <zg@cs.bu.edu>
Subject: Re: FW: q4
References: <001101c6f3d1$10caabf0$a80ac580@csnt.bu.edu>
In-Reply-To: <001101c6f3d1$10caabf0$a80ac580@csnt.bu.edu>
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
Content-Transfer-Encoding: 7bit
X-Clamav-Status: No
Status: RO
Content-Length: 960
X-UID: 23
X-Keywords:                                                                                                    

A question from Giorgos to Rui, who passed it on to me, which I now
answer for everyone's benefit: Answer Problem 4 in Problem Set 6 in any
way you can. We will give you credit for a correct answer, and we will
give you extra credit for staying as close as possible to the
definitions on pages 21, 22, and 23, in Handout 09.

Assaf

Rui Shi wrote:

>
>Hi Assaf,
>
>Could you answer the following question? It seems a lot of people are
>asking this.
>
>Thanks,
>
>Rui
>
>
>-----Original Message-----
>From: Georgios Zervas [mailto:zg@bu.edu]
>Sent: Thursday, October 19, 2006 5:18 PM
>To: shearer@cs.bu.edu
>Subject: q4
>
>Hi Rui,
>
>For q4 in the current pset are we allowed to modify the definition of the
>Table type? In particular is it OK if I use:
>
>Table = <table:Nat * OptionalNat>
>
>I am asking because I don't see any way to pattern match on a function
>definition such at the current Table type Nat -> OptionalNat.
>
>Thanks,
>Giorgos
>
>



This archive was generated by hypermail 2b29 : Thu Dec 14 2006 - 16:31:59 EST