- Haskell - Haskell.org

Mondrian.Net www.mondrian-script.org
by isaac gouy 03 Oct '02

03 Oct '02

Does anyone know what happened to www.mondrian-script.org? cheers Isaac __________________________________________________ Do you Yahoo!? New DSL Internet Access from SBC & Yahoo! http://sbc.yahoo.com

1 0

cfp: constraint solving and programming (FLAIR2003)
by Stefano Bistarelli 03 Oct '02

03 Oct '02

apologies for multiple copies ------------------------ C A L L F O R P A P E R S Special Track at The 16th International FLAIRS Conference (FLAIRS-03) on CONSTRAINT SOLVING AND PROGRAMMING Held in co-operation The American Association for Artificial Intelligence http://www.cs.ucc.ie/~osullb/flairs2003/ ____________________________________________________________________________ _ Aims and Scope -------------- Constraints have emerged as the basis of a representational and computational paradigm that draws from many disciplines and can be brought to bear on many problem domains. This special track is concerned with all aspects of computing with constraints including algorithms, applications, environments, languages, models, and systems. We also solicit papers from any domain employing constraints, including computational linguistics, configuration, decision support, design, diagnosis, graphics, hardware verification, molecular biology, planning, qualitative reasoning, real-time systems, resource allocation, robotics, scheduling, software engineering, temporal reasoning, vision, visualization, and user interfaces. Papers that bridge disciplines or combine theory and practice or discuss novel reasoning methods are especially welcome. Special attention is focused around the use of constraint technologies in the networking, wireless and internet fields. Submissions ----------- We invite authors to submit papers on research on constraint solving and programming, with particular emphasis on assessing the current state of the art and identifying future directions. All submissions must be original work. Complete manuscripts must be no more than 10 double-spaced pages (3400 words) in length in postscript or pdf format. Please submit papers directly to FLAIRS (http://www.flairs.com/flairs2003/) Detailed submission guidelines are available from the FLAIRS-2003 web-site (http://www.cs.uwp.edu/flairssubsys/index.php3) Papers, of sufficiently high quality, will be selected to appear in a special issue of the International Journal on Artificial Intelligence Tools (IJAIT). Important Dates --------------- Deadline paper submissions October 25, 2002 Notification of acceptance January 7, 2002 Camera-ready deadline February 17, 2003 Organising Committee -------------------- Barry O'Sullivan (Primary Contact) Cork Constraint Computation Centre Department of Computer Science University College Cork, Ireland Email: b.osullivan(a)cs.ucc.ie Web: http://www.cs.ucc.ie/~osullb/ Stefano Bistarelli C.N.R. Istituto di Informatica e Telematica, Pisa and Universita "G. D'Annunzio" Dipartimento di Scienze, Pescara Em ail: Stefano.Bistarelli(a)iit.cnr.it Tel: +39-050-315.3438 Fax: +39-050-315.2593 Web: http://www.sci.unich.it/~bista Program Committee ----------------- Christian Bessiere, LIRMM, France Philippe Codognet, University of Paris and INRIA, France Boi Faltings, EPFL, Switzerland Helene Fargier, Laboratoire IRIT, Universite Paul Sabatier, France Thom Fruehwirth, University of Ulm, Germany Carmen Gervet, IC Parc, Imperial College, UK Javier Larrosa, UPC, Spain Francesca Rossi, University of Padov, Italy Marius-Calin Silaghi, Florida Institute of Technology Mark Wallace, IC Parc, Imperial College, UK Toby Walsh, University College Cork, Ireland

1 0

ANNOUNCE: A Haskell XML Toolbox (yet another one)
by Uwe Schmidt 01 Oct '02

01 Oct '02

A Haskell XML Toolbox ================= I would like to announce a first release of a Haskell Toolbox for processing XML including a validating parser. Features: * well-formed checker * validating parser * support of Unicode * support of file: and http: protocol * supports (rather complete) XML1.0 More information and download: http://www.fh-wedel.de/~si/HXmlToolbox/index.html Please email comments, bugs, etc. to hxmltoolbox(a)fh-wedel.de -- Uwe Schmidt <uwe(a)fh-wedel.de>

1 0

FOOL'03: Deadline extension
by ghelli 01 Oct '02

01 Oct '02

Due to many requests, and to serious network connection problems of the di.unipi.it site, the deadline for submission to FOOL 10 (The Tenth International Workshop on Foundations of Object-Oriented Languages) is moved to Friday the 4th. New Deadlines: Submissions: October 4, 2002 Notifications: November 15, 2002 Final versions: December 12, 2002 Conference: January 18, 2003, following POPL Submission: an extended abstract which should not exceed 5000 words (approximately 10 pages) More details in: http://www.cis.upenn.edu/~bcpierce/FOOL/FOOL10.html http://tql.di.unipi.it/fool10/fool10.htm mailto:fool10@di.unipi.it ------------------------------------------------------------------------ ---- Prof. Giorgio Ghelli, PhD Universita' di Pisa, Dipartimento di Informatica, Corso Italia 40, I-56125, Pisa, ITALY mailto:ghelli@di.unipi.it http://www.di.unipi.it/~ghelli Phone: +39 050 2212 758 Mobile: +39 347 3563753 Fax: +39 050 2212 726 ------------------------------------------------------------------------ ----

1 0

SQL queries in Haskell
by João Marcos 01 Oct '02

01 Oct '02

We're currently developing a project in my gradutaion course (Computer Science), about databases in Haskell. We didn't manage to write the correct Haskell code for the "Insert" and "Delete" operations. If you could help us with this, we would be very grateful. Best regards, Joao Marcos jmfa(a)terra.com.br joao(a)dcc.uesb.br

2 1

call for workshops
by icalp2003＠TUE.nl 30 Sep '02

30 Sep '02

[apologies for multiple copies] ICALP 2003 Eindhoven, the Netherlands, June 30 - July 4, 2003 ICALP 2003, the 30th International Colloquium on Automata, Languages and Programming, will be held next year in Eindhoven, the Netherlands from June 30th till July 4th. For the weekends preceding and following the week of the ICALP conference several satelite events are planned. For more information see http://www.win.tue.nl/icalp2003. The ICALP 2003 Organizing Commitee welcomes further initiatives. In particular, workshop proposals are invited addressing the following issues: - workshop title and brief description of the scope and goal - motivation of the relevance to the TCS community - organizing commitee and potential invited speakers - format of the workshop, duration and refereeing procedure, if applicable Proposals can be sent to Erik de Vink, workshop coordinator for ICALP 2003, e-mail evink(a)win.tue.nl, no later than November 8th, 2002.

1 0

Re: Pure File Reading (was: Dealing with configuration data)
by Yoann Padioleau 26 Sep '02

26 Sep '02

Lars Lundgren <d95lars(a)dtek.chalmers.se> writes: > On 26 Sep 2002, Yoann Padioleau wrote: > > > Koen Claessen <koen(a)cs.chalmers.se> writes: > > > > i find your idea very good. > > indeed for the library GetOpt, the argument of a program never change so it > > make sense to make this library without using IO monad, same for argv and for the enviroment. > > > for openFile it seems harder, it would require to have a lock on the file > > to be sure that no one modify the file, same for a webpage. > > > > No, not at all. All that is required is to make sure all calls to openFile > f returns the same string, i.e the contents of the file when it was read > the first time. yes you are right. but it requires to change the name of the function to have Once appended to it. so in the Prelude, we should have 2 version of the same kind of fonction, one pure such as readFileOnce with a cool type, and one such as readFile with an Io type. Sounds good idea to me, cos many programs require just to read a file one time. i dont know if practically it is useful. after all we can do all the IO stuff in the main, and then continue in a pure world. dont know if it is useful to read a file in the middle of a pure function. > > /Lars L > > > -- Yoann Padioleau, INSA de Rennes, France, Opinions expressed here are only mine. Je n'écris qu'à titre personnel. **____ Get Free. Be Smart. Simply use Linux and Free Software. ____**

1 0

Re: Pure File Reading (was: Dealing with configuration data)
by Yoann Padioleau 26 Sep '02

26 Sep '02

Koen Claessen <koen(a)cs.chalmers.se> writes: i find your idea very good. indeed for the library GetOpt, the argument of a program never change so it make sense to make this library without using IO monad, same for argv and for the enviroment. for openFile it seems harder, it would require to have a lock on the file to be sure that no one modify the file, same for a webpage. > Dear all, > > At the moment, a discussion on haskell-cafe is going on > about how to neatly program the fact that an entire program > depends on a number of parameters that are read in once at > the beginning of a program. > > The suggestion that many people came up with was using > unsafePerformIO in the beginning to read the file. Here is > my version of that: > > | data Configuration = ... -- config data > | > | getConfig :: Configuration > | getConfig = unsafePerformIO $ > | do ...read configuration from file... > | return configuration > | > | main = > | do doStuff > > It is quite disturbing that there is no other easy way to do > this than using unsafePerformIO (except for using implicit > parameters perhaps, but there are other reasons for not > using those). > > I have been thinking a little bit more about this and here > is what I found. > > Remember the Gofer days, when Gofer had a "function": > > openFile :: FilePath -> String > > This was of course a cheap and dirty way of implementing > things like the getConfig above, but it is impure. However, > one could imagine a functional version of this function: > > readFileOnce :: FilePath -> Maybe String > > This function will read the contents of the file (and return > Nothing if something went wrong), but it is memoized, so > that the second time you use this function you get the same > result. > > So, it is a pure function. (Admittedly, it is somewhat > unpredictable, but you will always get the same result for > the same arguments.) It is no more strange than GHC's pure > version of the getArgs function (I forgot what it was/is > called). > > How about space behavior, you say? Reading a file, and > memoizing the result means storing the whole contents of the > file in memory! > > The point is that the use of this function will typically > happen at the beginning of a program, when reading the > configuration file(s). When all this has happened, the > function readFileOnce, and its memo table, will be garabage > collected. (Of course there is no guarantee that all calls > to readFileOnce will be evaluated at the beginning of a > program, and it is not required, but when you do, there are > no space problems.) > > There could of course be pure "-Once" versions of other IO > operations. Here is a list of possibilities: > > - reading a file > - getting arguments > - getting environment variables > - downloading a webpage > - ... > > What do you think? > > Regards, > /Koen. > > -- > Koen Claessen > http://www.cs.chalmers.se/~koen > Chalmers University, Gothenburg, Sweden. > > _______________________________________________ > Haskell-Cafe mailing list > Haskell-Cafe(a)haskell.org > http://www.haskell.org/mailman/listinfo/haskell-cafe > -- Yoann Padioleau, INSA de Rennes, France, Opinions expressed here are only mine. Je n'écris qu'à titre personnel. **____ Get Free. Be Smart. Simply use Linux and Free Software. ____**

2 1

CFP: Special Session and Journal Issue
by Dr. M. Sarfraz 26 Sep '02

26 Sep '02

>>>>>SORRY for DUPLICATES<<<< ==================================== Special Session on Computer Aided Geometric Design and Modeling ==================================== IN WSCG International Conference in Central Europe ------------------------------------------------ Call for Papers & Participation =============================== Please, VISIT http://wscg.zcu.cz for detailed information and for on-line papers repository since 1992 - 2002 Access is NOT LIMITED -------------------------------------------------------------------------------- Unique opportunity ------------------ - to visit the Golden City - PRAGUE - to take a part at event, where West and East meet ----------------------------------------- Aceepted papers will be published in The Journal of WSCG Vol. 11. No 1-3, ISSN 1213-6972 W S C G ' 2003 The 11-th International Conference in Central Europe on Computer Graphics, Visualization and Computer Vision 2003 in co-operation with EUROGRAPHICS to be held at the University of West Bohemia, Plzen, close to Prague - the Golden European City Czech Republic February 3 - 7, 2003 Honorary Chair Jack E.Bresenham, Winthrop University, USA Programme Co-Chairs Dirk Bartz, University of Tübingen, Germany Vaclav Skala, University of West Bohemia, Czech Republic Keynote speakers: Gabor T. Herman: Blobs for Representing and Visualizing 3D Objects, City University of New York, USA Dirk Bartz: Large Model Visualization: Techniques and Applications, University of Tuebingen, Germany ====================== Topics included ====================== o Curve and Surface Design o Visualization o Computer Graphics o Geometric Modeling o Geometric Algorithms o Manufacturing Geometry o Computational Geometry o Reverse Engineering o Solid Modeling o Computer Aided Design (CAD) o Computer Aided Manufacturing (CAM) o Font Design o Multiresolution Methods o Geometric Transformations o Mesh Processing o Shape Abstraction and Modeling o Shape Analysis and Description o Industrial Applications The International Program Committee and Reviewing Board members review all papers peer-to-peer carefully and anonymously. Selected papers will be published in the Journal of WSCG, Vol.11. ISSN 1213-6972, all presented papers will be published in the WSCG proceedings with ISBN. Both are indexed/abstracted in: Engineering Index, Inspec Database, CompuMath Citation Index, Information Science Abstracts, Cambridge Scientific Abstracts and others. Information for authors Deadline for contributions: October 10, 2002 24:00 GMT (London time) -------------------------------------------------------------------- Format A4 (strictly), max. 8 pages, additional material (video as MPEG, AVI and similar files, color plates etc. can be submitted, please, no video tapes) up to 5 MB ================ IMPORTANT: ================ For details, please, see http://wscg.zcu.cz select WSCG'2003. After electronic submission, please report to: The Session Organizer =================================== Dr Muhammad Sarfraz Department of Information and Computer Science King Fahd University of Petroleum and Minerals KFUPM # 1510, Dhahran 31261 Saudi Arabia. Tel: +966-3-860-2763 Fax: +966-3-860-1562 Email: sarfraz(a)ccse.kfupm.edu.sa Email: sarfraz(a)kfupm.edu.sa WWW: http://www.ccse.kfupm.edu.sa/~sarfraz/

1 0

RE: Haskell 98
by Simon Marlow 25 Sep '02

25 Sep '02

> Out of curiousity, it's a bit strange that > > > data D = D !Int > > myD = D {} > > in invalid, but > > > newtype N = N !Int > > myN = N {} > > is not. The second example is also invalid: the newtype declaration is disallowed by the grammar. (incedentally, it looks like this example triggers a bug in nhc98). Cheers, Simon

1 0