Re: How can I implement this arrow? Thanks

2003-09-16 Thread Ashley Yakeley
In article <[EMAIL PROTECTED]>, Derek Elkins <[EMAIL PROTECTED]> wrote: > > I don't think this type is an arrow. For a "product arrow", i.e. an > > instance of Hughes' "Arrow" class with "first" defined, you can define > > this: > > Oh, it's definitely an arrow. I don't think you can make it a

Re: How can I implement this arrow? Thanks

2003-09-16 Thread Ross Paterson
On Tue, Sep 16, 2003 at 02:32:48PM -0500, Yu Di wrote: > What I am trying to do is to use Haskell to simulate some process, and > meanwhile collecting information about the data-flow throughout the whole > process into the output. The (String, a) example is just a simplified > version of that. T

Re: How can I implement this arrow? Thanks

2003-09-16 Thread Derek Elkins
On Tue, 16 Sep 2003 14:32:48 -0500 "Yu Di" <[EMAIL PROTECTED]> wrote: > What I am trying to do is to use Haskell to simulate some process, and > meanwhile collecting information about the data-flow throughout the > whole process into the output. The (String, a) example is just a > simplified versi

RE: Announce: wxHaskell 0.2

2003-09-16 Thread Daan Leijen
Hi Sven, (I'll reply to the portability issues in a separate mail) > * It would be nice if the directory created by unzipping > wxhaskell-src-0.2.zip contained a version number. > > * It would be even nicer if wxhaskell-doc-0.2.zip unzipped > into a *single* directory. > > * You need

RE: Announce: wxHaskell 0.2

2003-09-16 Thread Daan Leijen
Hi Sven, > the library documentation says: "Portability: > portable", but this is not the case at all, wxHaskell uses > quite a few extensions (apart from the FFI, which can be > considered portable nowadays): wxHaskell consists of two layers: WXCore and WX. The WXCore layer is supposed to be

Re: How can I implement this arrow? Thanks

2003-09-16 Thread Yu Di
What I am trying to do is to use Haskell to simulate some process, and meanwhile collecting information about the data-flow throughout the whole process into the output. The (String, a) example is just a simplified version of that. Thanks for pointing out my mistakes, I will try to do it as a d

Syntax extensions: mdo and do...rec

2003-09-16 Thread nilsson
Dear Haskellers, A questions. The do-notation has been extended to support recursive bindings by using the "mdo" keyword. The do-notation has also been extended (through Ross Patterson's preprocessor, and now also GHC) to support programming with arrows. In that context, a different syntax, using

Re: Syntax extensions (was: RE: The Future of Haskell discussionat the Haskell Workshop)

2003-09-16 Thread nilsson
Dear Haskellers, Mark Jones writes: > As a solution to that problem, the many-command-line-options > scheme described seems quite poor! It's far too tool specific, > not particularly scalable, and somewhat troublesome from a software > engineering perspective. I've also been thinking about this

Re: How can I implement this arrow? Thanks

2003-09-16 Thread Derek Elkins
On Tue, 16 Sep 2003 01:52:03 -0700 Ashley Yakeley <[EMAIL PROTECTED]> wrote: > In article <[EMAIL PROTECTED]>, > "Yu Di" <[EMAIL PROTECTED]> wrote: Replying to both: > > Hi, I want to create an arrow which is essentially > > > > data MyArrow a b = MyArrow ((String, a) -> (String,b)) > > I don

Re: Announce: wxHaskell 0.2

2003-09-16 Thread Sven Panne
I just had a look at wxHaskell (GHC from CVS, about a week old, SuSE Linux 8.2 on x86). A few remarks: * It would be nice if the directory created by unzipping wxhaskell-src-0.2.zip contained a version number. * It would be even nicer if wxhaskell-doc-0.2.zip unzipped into a *single* direct

Re: Question about implementation of an "information-passnig" arrow

2003-09-16 Thread Brandon Michael Moore
On Mon, 15 Sep 2003, Yu Di wrote: > data MyArrow a b = MyArrow ((String, a) -> (String, > b)) > > i.e. there is an "information" asscioated with each > piece of data (represented by the string), and I want > to pass it around. And often the arrow's processing > logic will depend on the input inf

Deadline for JFP Special Issue on Parallel FP Postponed

2003-09-16 Thread Phil Trinder
The submission deadline for the JFP special issue on High-Performance Parallel Programming has been postponed to 31st October 2003, see http://www.macs.hw.ac.uk/~trinder/jfpCFP.htm Phil -- Phil Trinder School of Mathematical and Computer Sciences

Fw: cannot find -lreadline

2003-09-16 Thread Luc Taesch
sorry, repost. - Original Message - From: "Luc Taesch" <[EMAIL PROTECTED]> To: <[EMAIL PROTECTED]> Sent: Tuesday, September 16, 2003 8:06 AM Subject: cannot find -lreadline > > > when compiling HaXML with 6.01 on mandrake, I got > /usr/bin/ld: cannot find -lreadline, as detailled hereaf

Question about implementation of an "information-passnig" arrow

2003-09-16 Thread Yu Di
Sorry I just now pressed "send" by mistake when the letter was not finished yet. Please ignore my last mail. Thanks. Following is the correct version of my question. - Hi, I want to create an arrow which is essentially data MyArrow a b = MyArrow ((String, a) -> (String, b)) i.e. there is an

Question about implementation of a " arrow

2003-09-16 Thread Yu Di
Hi, I want to create an arrow which is essentially data MyArrow a b = MyArrow ((String, a) -> (String, b)) i.e. there is an "information" asscioated with each piece of data (represented by the string), and I want to pass it around. And often the arrow's processing logic will depend on the input i

Re: Syntax extensions (was: RE: The Future of Haskell discussion at the Haskell Workshop)

2003-09-16 Thread ozone
On 11/09/2003, at 9:46 PM, Simon Marlow wrote: I know that some of these problems can be addressed, at least in part, by careful use of Makefiles, {-# custom pragmas #-}, and perhaps by committing to a single tool solution. But I'd like to propose a new approach that eliminates some of the comman

TACAS 2004 Call For Papers (deadline: October 17)

2003-09-16 Thread AG2 Guest Account 3
Call for Papers TACAS'04 [http://www.daimi.au.dk/%7Ecpn/tacas04/] Tenth International Conference on Tools and Algorithms for the Construction and Analysis of Systems A member conference of ETAPS 2004 [http://www.lsi.upc.es/etaps04/] European Joint Conferences on The

Announce: wxHaskell 0.2

2003-09-16 Thread Daan Leijen
Announcement: wxHaskell version 0.2 -- The new release has (improved) support for tree controls, list controls, toolbars, splitter windows, sliders, gauges, and bitmap buttons. Screenshots of

Re: How can I implement this arrow? Thanks

2003-09-16 Thread Ashley Yakeley
In article <[EMAIL PROTECTED]>, "Yu Di" <[EMAIL PROTECTED]> wrote: > Hi, I want to create an arrow which is essentially > > data MyArrow a b = MyArrow ((String, a) -> (String,b)) I don't think this type is an arrow. For a "product arrow", i.e. an instance of Hughes' "Arrow" class with "first"