Return-Path: <kfoury@cs.bu.edu> Received: from cs.bu.edu (cs [128.197.12.2]) by cs3.bu.edu (8.12.11/8.12.11) with ESMTP id i99DToiq026914; Sat, 9 Oct 2004 09:29:50 -0400 Received: from cs.bu.edu (h000c41248e2b.ne.client2.attbi.com [24.34.20.189]) (authenticated bits=0) by cs.bu.edu (8.12.2/8.12.2) with ESMTP id i99DTodF029360; Sat, 9 Oct 2004 09:29:50 -0400 (EDT) Message-ID: <4167E7EA.1050603@cs.bu.edu> Date: Sat, 09 Oct 2004 09:30:18 -0400 From: Assaf Kfoury <kfoury@cs.bu.edu> Organization: Boston University User-Agent: Mozilla/5.0 (X11; U; Linux i686; en-US; rv:1.6) Gecko/20040413 Debian/1.6-5 X-Accept-Language: en To: Michael Burenkov <burenkov@bu.edu>, cs520 Course Account <cs520@cs.bu.edu> Subject: Re: PA2 submission References: <000001c4ad8b$a1f0d1b0$6b00a8c0@sacredroam> In-Reply-To: <000001c4ad8b$a1f0d1b0$6b00a8c0@sacredroam> Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit X-Spam-HitLevel: X-Spam-DCC: sonic.net: cs3.bu.edu 1156; Body=19 Fuz1=19 Fuz2=19 X-Spam-Checker-Version: SpamAssassin 3.0.0 (2004-09-13) on cs3.bu.edu X-Spam-Level: X-Spam-Status: No, score=0.1 required=10.0 tests=AWL,BAYES_00, RCVD_IN_NJABL_PROXY autolearn=no version=3.0.0 X-Spam-Pyzor: Reported 0 times. Status: RO X-Mozilla-Status: 8011 X-Mozilla-Status2: 00000000 X-UIDL: 411f69ec00001168
Nothing wrong with your understanding. But your example is too
schematic to illustrate what you say in English, I think. Can you
produce a simple small example, say in SML or OCaml, where you canNOT
achieve what you want?
Assaf
Michael Burenkov wrote:
> Prof. Kfoury,
>
>
>
> This is my submission for programming assignment #2. It is a gzipped,
> tarred file. All other relevant information is located in README.txt.
>
> I also meant to ask the following question. When we sequence
> instructions, the instructions being sequenced must be of type unit.
> We care about them for their side-effects. However, some functions
> could have useful side-effects, and also useful return values on
> non-unit type. A trivial example is function:
>
>
>
> stupid_function (takes a list of numbers)
>
> Increments each number by 1
>
> If any of the numbers so incremented was odd, returns true
> at the end, otherwise returns false
>
>
>
> In some cases, we may be interested in the return value, and in other
> cases we may not be. As I understand, this function is not
> sequenceable under our definition of sequencing unless we use
> wildcarded lambda:
>
>
>
> (lambda _ /. /unit) stupid_function some_list_of_numbers ; some other
> instruction
>
>
>
> Am I understanding things correctly? Or is there some other way to do
> it? Thank you for your time.
>
>
>
> Michael Burenkov
>
This archive was generated by hypermail 2b29 : Fri Nov 19 2004 - 17:00:43 EST