No subject

[Fergus Henderson]

Received: from mundook.cs.mu.OZ.AU (mundook.cs.mu.OZ.AU [128.250.37.154]) by mulga.cs.mu.OZ.AU with ESMTP
	id SAA15563 for <mercury-users at cs.mu.OZ.AU>; Sat, 12 Sep 1998 18:43:57 +1000 (EST)
Received: (from dgj at localhost) by mundook.cs.mu.OZ.AU (8.8.5/8.7.3) id SAA31988; Sat, 12 Sep 1998 18:43:57 +1000 (EST)
Message-ID: <19980912184356.54899 at mundook.cs.mu.OZ.AU>
Date: Sat, 12 Sep 1998 18:43:56 +1000
From: David Glen JEFFERY <dgj at cs.mu.OZ.AU>
To: mercury-users at cs.mu.OZ.AU
Subject: Re: [mercury-users] There's nowt so boring as writing thesis
References: <19980911135139.B22839 at cs.mu.oz.au> <199809110450.OAA10257 at mundook.cs.mu.OZ.AU> <19980911114405.F6088 at cam.sri.com>
Mime-Version: 1.0
Content-Type: text/plain; charset=us-ascii
X-Mailer: Mutt 0.88
In-Reply-To: <19980911114405.F6088 at cam.sri.com>; from Ralph Becket on Fri, Sep 11, 1998 at 11:44:05AM +0100
Status: RO
Content-Length: 1084
Lines: 24

On 11-Sep-1998, Ralph Becket <rwab1 at cam.sri.com> wrote:
> 
> It strikes me that the current Mercury libraries don't provide that
> great a range of higher order utilities.  For example, mapping and
> filtering binary trees would be a good one.  I volunteer to code
> something up after this month if there's any call for it.
> 
> Reading the FP literature, it's just amazing how beautiful and concise
> HO code can be.  I love it.

Indeed. I think we'd all appreciate anyone's input into the design (and
implementation :) ) of the standard library. You may also like to check out Lee
Naish's recent post to the mercury-developers mailing list (available from the
web page) titled "Automatic generation of map, foldr, foldl".


dgj
-- 
David Jeffery (dgj at cs.mu.oz.au) |  Marge: Did you just call everyone "chicken"?
PhD student,                    |  Homer: Noooo.  I swear on this Bible!
Department of Computer Science  |  Marge: That's not a Bible; that's a book of
University of Melbourne         |         carpet samples!
Australia                       |  Homer: Ooooh... Fuzzy.