--------------3E1737327A Content-Type: text/plain; charset="us-ascii" Alastair Reid wrote: > I believe this is what the derive program (available from Glasgow's web site) > was originally developed for. Hi, I'm the implementor of the software formerly known as 'Derive`, and would just make a few points. 1. I've been threatened with legal action from Soft Warehouse Inc. for infringing their trademark "DERIVE". The full details are at http://www.dcs.gla.ac.uk/~nww/Derive/derivehome.html In summary I'm not allowed to refer to my software using that name, and must also inform others to do the same. 2. The software formerly known as 'Derive' was a little project written during the first year of my PhD. Although it originates from Glasgow, one should not assume it enjoys the same level of robustness or support as other Glasgow FP tools. 3. Personally, I think that there is a need for a type-sensitive preprocessor for Haskell. Extending the derivable classes was the motivating example, but there are other applications. The software formerly known as Derive is a first attempt at this. I think it is time for someone to develop this idea properly into a robust system. However, due to my PhD I don't have time for this. regards noel. -- Noel Winstanley Dept of Computing Science University of Glasgow http://www.dcs.gla.ac.uk/~nww/ mailto:[EMAIL PROTECTED] --------------3E1737327A Content-type: message/rfc822 Return-Path: <[EMAIL PROTECTED]> Delivery-Date: Mon, 15 Jun 1998 14:58:59 +0100 Received: from dcs.gla.ac.uk by vanuata.dcs.gla.ac.uk id <[EMAIL PROTECTED]>; Mon, 15 Jun 1998 14:57:05 +0100 Old-Received: from easter.dcs.gla.ac.uk.dcs.gla.ac.uk (actually host easter) by vanuata with SMTP DCS (MMTA) with ESMTP; Mon, 15 Jun 1998 14:56:57 +0100 Old-Received: by easter.dcs.gla.ac.uk.dcs.gla.ac.uk (8.8.5/Dumb) id OAA00405; Mon, 15 Jun 1998 14:56:55 +0100 Old-Received: from haggis.cs.yale.edu (actually host HAGGIS.AI.CS.YALE.EDU) by vanuata with SMTP (MMTA) with ESMTP; Mon, 15 Jun 1998 14:39:41 +0100 Old-Received: from haggis.cs.yale.edu (reid@localhost [127.0.0.1]) by haggis.cs.yale.edu (8.8.7/8.8.7) with ESMTP id JAA27815; Mon, 15 Jun 1998 09:37:53 -0400 Message-Id: <[EMAIL PROTECTED]> To: Dave Tweed <[EMAIL PROTECTED]> cc: [EMAIL PROTECTED] Subject: Re: Exceptions are too return values! In-reply-to: Your message of "Mon, 15 Jun 1998 10:03:18 BST." <Pine.SGI.3.96.980615095746.2241B-100000@neon> Sender: [EMAIL PROTECTED] Precedence: bulk 8>Qxd$QC/sdeK{93/{KA]&T@gir{b8(rd5/zL85UcsTGty!z9Nx%Z+0e193YVEXFcWdM.]+uyVYA6 WNNn]tdh-oQ]/#\R;Vts^}W]a%+%VqSEAu Date: Mon, 15 Jun 1998 09:37:52 -0300 From: Alastair Reid <[EMAIL PROTECTED]> Resent-Date: Mon, 15 Jun 1998 14:57:05 +0100 Resent-From: [EMAIL PROTECTED] Resent-To: [EMAIL PROTECTED] MIME-Version: 1.0 Content-Type: text/plain; charset="us-ascii" > On Mon, 15 Jun 1998, Fergus Henderson wrote: > > > P.S. Is there any reason why something like `HyperEval' > > isn't built in to Haskell, or at least include in the > > Haskell Library report? Is there any implementation-specific > > precedent for something like this in say ghc? Dave Tweed <[EMAIL PROTECTED]> added: > I'd like to second this. It would have been very useful in some of the > stuff I've written, particularly since (understandably enough) when using > newtype you can't put ! annotations within the data-type. I believe this is what the derive program (available from Glasgow's web site) was originally developed for. -- Alastair Reid Yale Haskell Project Hacker [EMAIL PROTECTED] http://WWW.CS.Yale.EDU/homes/reid-alastair/ --------------3E1737327A--