November 2002 - Haskell

how to convert IO String to string
by Lu Mudong 24 Nov '02

24 Nov '02

hi, all, I'm having problem convert IO String to string, I read a file, and it's an IO String, what i need is a string, but couldn't figure out how to do the convertion. there are couple posts talked about this topic, but didn't work for me please help me out, thanks a lot Ron _________________________________________________________________ Add photos to your e-mail with MSN 8. Get 2 months FREE*. http://join.msn.com/?page=features/featuredemail

2 1

CFP: GMAG'2003
by Dr. M. Sarfraz 24 Nov '02

24 Nov '02

===================== International Conference on Geometric Modeling & Graphics (Previously, Computer Aided Geometric Design Symposium) (GMAG 2003) in co-operation with IEEE Computer Society JULY 16-18, 2003 London, UK. ===================== Aims and Scope: =============== Computer-Aided (CA) techniques for Geometric Modeling (GM) and Computer Graphics (CG) are extremely useful tools in a number of industrial settings. Specifically, the applications of computational geometry and graphical modeling to current problems of designing and manufacturing have grown at a large scale. In addition to its critical importance in the traditional fields of automobile and aircraft manufacturing, shipbuilding, and general product design, more recently, these methods have also proven to be indispensable in a variety of modern industries, including computer vision, robotics, medical imaging, visualization, and even media. The purpose of the GMAG conference is to focus on interdisciplinary methods and affiliate research done among various disciplines with the goal of stimulating views and providing a forum where academicians, researchers, and practitioners can discuss the latest developments linked to Geometric Modeling and Computer Graphics. Papers presenting original research with the theme of "Geometric Modeling and Graphics" are being sought. Scope of the conference topics include (but are not limited to): * Curve and Surface Design * Geometric Modeling * Solid Modeling * Physically Based Modeling * Autonomous Agents * Computer Graphics * Geometric Algorithms * Manufacturing Geometry * Computational Geometry * Reverse Engineering * Computer Aided Design (CAD) * Computer Aided Manufacturing (CAM) * Font Design * Character Design * Multiresolution Methods * Geometric Transformations * Mesh Processing * Shape Abstraction and Modeling * Shape Analysis and Description * Scientific Visualization * Internet Applications * Computer Animation * Rendering * Multimedia * Non Photo-Realistic Rendering * Virtual Reality * Virtual Environments * Illumination Models * Texture Models * Computer Graphics and the Internet (VRML, Java, etc.) * Artificial Intelligence for Computer Graphics * Softwares * Education, Engineering, Medical, and other Applications Important Dates: ================ * 17 January 2003 - Submission of proposal for symposium * 07 March 2003 - Submission of papers r Submission of tutorials * 05 May 2003 - Submission of camera-ready r Early registration closes * 14 June 2002 - Tutorial Registration Cancellation & Refund date (Last day to register for tutorial sessions - Registration after this is subject to availability) * 09 July 2003 - Pre-Registration date * 15 July 2003 - Tutorial Day * 16-18 July 2003 - Conference Days Program Committee ================= M. Sarfraz, King Fahd University of Petroleum and Minerals, Saudi Arabia (Chair) Varol Akman, Bilkent University, Turkey. Jamaludin Ali, Universiti Sains Malaysia, Malaysia Ebad Banissi, South Bank University, UK Gordon Clapworthy, De Montfort University, UK. John Cowell, De Montfort University, UK Stefan Gumhold, University of Tübingen, GERMANY Hans Hagen, University Of Kaiserslautern, Germany Fiaz Hussain, University Of Luton, UK Deok-Soo Kim, Hanyang University, Korea Myoung-Hee Kim, Ewha Womans University, Korea Ahmad Nasri, American University Of Beirut, Lebanon. Yoshihiro Okada, Kyushu University, Japan Juan Manuel Pena, Universidad De Zaragoza, Spain Abd. Rahni Mt. Piah, Universiti Sains Malaysia, Malaysia Manabu Sakai, Kagoshima University, Japan. Nickolas Sapidis, University of the Aegean, Greece Leonardo Traversoni, Universidad Autonoma Metropolitana (Iztapalapa), Mexico Keith Unsworth, Lincoln University, New Zealand. Markus Wacker, University of Tübingen, GERMANY Fujiichi Yoshimoto, Wakayama University, Japan Submission of Papers: ==================== Prospective authors are invited to submit their draft papers electronically by the due date. The length of the Camera-Ready papers (if accepted) will be limited to 7 (IEEE style) pages. Papers must not have been previously published or currently submitted for publication elsewhere. The first page of the draft paper should include: title of the paper, name, affiliation, postal address, E-mail address, telephone number, and Fax number for each author. The first page should also include the name of the author who will be presenting the paper (if accepted) and a maximum of 5 keywords. Proposal for Organizing Technical Sessions: =========================================== Each technical session will have at least 6 paper presentations. The session chairs will be responsible for all aspects of their sessions; including, soliciting papers, reviewing, selecting, etc. THE NAMES OF SESSION CHAIRS WILL APPEAR AS ASSOCIATE EDITORS ON THE COVER OF THE CONFERENCE PROCEEDINGS. Proposals to organize technical sessions should include the following information: name and address (+ E-mail) of proposer, title of session, a 100-word description of the topic of the session, and a short description on how the session will be advertised (in most cases, session proposers solicit papers from colleagues and researchers whose work is known to the session proposer). Mail your proposal to M. Sarfraz; E-mail submissions are preferred. Proposals to organize technical sessions should be submitted as soon as possible. Evaluation Process: =================== Papers will be evaluated for originality, significance, clarity, and soundness. Each paper will be refereed by two to three researchers in the topical area. The Camera-Ready papers will be reviewed by one person. Publication: ============ Attendees will have full access to TWO conferences (IV'2003 & GMAG'2003) at the same time. You are invited to submit a draft paper and/or a proposal to organize a technical session. All accepted papers will be published in the conference proceedings published by IEEE Computer Society Press. In addition to the hardcopy, it is also planned to publish the papers on a CD. EXTENDED VERSIONS OF THE SELECTED PAPERS WILL BE PUBLISHED IN A POST CONFERENCE EDITED BOOK. Web Site: ========= The GMAG'03 web site is: http://www.graphicslink.demon.co.uk/gmag03/. Please visit this site for up-to-date information. Conference Chair: ================= Dr. M. Sarfraz Department of Information and Computer Science, King Fahd University of Petroleum and Minerals, KFUPM # 1510, Dhahran 31261. Saudi Arabia. Tel: +966-03-860-2763 Fax: +966-03-860-2763 and +966-3-860-1562 Email: sarfraz(a)kfupm.edu.sa All queries and Papers should be addressed to: ============================================== Anita D'Pour GraphicsLink...cagd03 Conference Co-ordinator P.O. BOX 29, HATFIELD, AL9 7ZL, United Kingdom. Tel: (Int. +44) 1707 - 652 224 Fax: (Int. +44) 1707 - 652 247 Email: gmag03(a)graphicslink.demon.co.uk URL: http://www.graphicslink.demon.co.uk/gmag03/

1 0

Re: how to convert IO String to string
by Ashley Yakeley 22 Nov '02

22 Nov '02

At 2002-11-22 14:49, Ahn Ki-yung wrote: >'do' is a syntactic sugar of monadic operations. >The original form can be written as > >main = myReadFile >>= \s -> putStrLn s That's correct. In this case, the 's' has type String. So the IO String has been 'converted' into a String, but only within the context of the IO monad. I think ultimately everything is syntactic sugar. -- Ashley Yakeley, Seattle WA

1 0

Re: how to convert IO String to string
by Ashley Yakeley 22 Nov '02

22 Nov '02

At 2002-11-22 08:12, Lu Mudong wrote: >hi, all, I'm having problem convert IO String to string, I read a file, and >it's an IO String, Right, > what i need is a string, You can do the conversion with "<-", but only inside a "do" block. For instance: myReadFile :: IO String myReadFile = ... main = do s <- myReadFile putStrLn s Here, s has type String. -- Ashley Yakeley, Seattle WA

2 1

Re: diff in Haskell: clarification
by Yoann Padioleau 22 Nov '02

22 Nov '02

George Russell <ger(a)tzi.de> writes: > Yoann Padioleau wrote: > > > > George Russell <ger(a)tzi.de> writes: > > > > > > > > This is a well-known problem. The most helpful Web page I could find about it is here: > > > > > > http://apinkin.net/space/DifferenceEngine > > > > > > There is an algorithm known as Myer's algorithm, but obviously I want it in Haskell > > > rather than C, and it would be nice if someone else had written it so I don't have to. > > > > why dont you call from haskell the C version ? > > or why dont you call the shell program diff ? > > Because (a) I don't have a C version; (b) diff expects Strings, not arbitrary > Haskell values . . . use show then read :) do component-oriented-programming in haskell > -- 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: diff in Haskell: clarification
by Yoann Padioleau 22 Nov '02

22 Nov '02

George Russell <ger(a)tzi.de> writes: > > This is a well-known problem. The most helpful Web page I could find about it is here: > > http://apinkin.net/space/DifferenceEngine > > There is an algorithm known as Myer's algorithm, but obviously I want it in Haskell > rather than C, and it would be nice if someone else had written it so I don't have to. why dont you call from haskell the C version ? or why dont you call the shell program diff ? you dont want unsafe stuff in your program :) ? > _______________________________________________ > Haskell mailing list > Haskell(a)haskell.org > http://www.haskell.org/mailman/listinfo/haskell > -- 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

Re: diff in Haskell?
by Lloyd Allison 21 Nov '02

21 Nov '02

It is not quite "diff" but there is an "edit distance" in Haskell here http://www.csse.monash.edu.au/~lloyd/tildeFP/Haskell/1998/Edit01/ it might provide a starting point. (Diff treats a line as a "character" and, I think, uses an algorithm that's fast for small numbers of changes.) Lloyd -- Lloyd ALLISON, CSSE, Monash University, Victoria, Australia 3168. web: http://www.csse.monash.edu.au/~lloyd/ tel: +61 3 9905 5205 use: http://www.linux.org/ OpenOffice: http://www.openoffice.org/

1 0

Re: diff in Haskell?
by Ashley Yakeley 21 Nov '02

21 Nov '02

At 2002-11-21 08:37, George Russell wrote: >Does anyone happen to have implemented diff in Haskell? Anyone else and I'd think this was a homework question... -- Ashley Yakeley, Seattle WA

1 0

diff in Haskell?
by George Russell 21 Nov '02

21 Nov '02

Does anyone happen to have implemented diff in Haskell? Something like diff :: Ord a -> [a] -> [a] -> [DiffElement a] data DiffElement a = InBoth a | InFirst a | InSecond a So for example diff [1,2,3,4,5] [2,3,6,7,4] might return [InFirst 1,InBoth 2,InBoth 3,InSecond 6,InSecond 7,InBoth 4,InFirst 5] It would try to make the output list as short as possible, while still maintaining that the subsequence of InFirst and InBoth a's is the same as its first argument, while the subsequence of InSecond and Both a's is the same as its second argument. However it doesn't have to return the shortest possible output list; it may be that it can compute one which is close to optimal much faster. Also if you'd rather have a hash function than Ord I can manage that. Thanks if anyone can help, and save me a bit of work ... George Russell

1 0

Call for Participation: PADL 2003
by Logic Programming Rsrch Association 21 Nov '02

21 Nov '02

[Apologies for multiple messages.] CALL FOR PARTICIPATION Fifth International Symposium on Practical Aspects of Declarative Languages http://www.research.avayalabs.com/user/wadler/padl03/ (PADL '03) New Orleans, LA, USA Jan 13-14, 2003 You are cordially invited to the Fifth International Symposium on Practical Aspects of Declarative Languages that will be held on Jan 13-14, 2003 right before ACM POPL. PADL received a record number of submissions (57) this year, out of which 23 papers were selected for presentation at the conference. Accepted papers also include "declarative pearls" and "Application Letters." The program includes invited talks by three distinguished speakers: Gerard Huet (INRIA, France), Shriram Krishnamurthi (Brown University) and David Page (U. of Wisconsin, USA). Registration rates ($175 regular and $125 student) have been kept very low to make the event affordable. If you are attending ACM POPL, we encourage you to stay for a whole week in New Orleans and attend PADL as well. More details can be found at: http://www.research.avayalabs.com/user/wadler/padl03/ -------------------------------------------------------------------- Invited Talks: o Gerard Huet, Zen and the Art of Symbolic Computing: Light and Fast Applicative Algorithms for Computational Linguistics. o David Page: The Role of Declarative Languages in Mining Biological Databases. o Shriram Krishnamurthi: The Continue Server (or, How I Administered PADL 2002 and 2003) List of Accepted Papers: o Non-monotonic Reasoning on Beowulf Platforms. E. Pontelli, M. Balduccini, F. Bermudez o Multi-Agent Reactive Systems. Prahladavaradan Sampath o Web Programming with SMLserver Martin Elsman and Niels Hallenberg o Reconstructing the Evolutionary History of Indo-European Languages using Answer Set Programming., Esra Erdem, Vladimir Lifschitz, Luay Nakhleh, and Donald Ringe o Logic Programs for Querying Inconsistent Databases Pablo Barcelo and Leopoldo Bertossi o Data mining the yeast genome in a lazy functional language Amanda Clare and Ross D. King o WAM Local Analysis Michel Ferreira, Luis Damas o Logic Programs as Compact Denotations Patricia M. Hill and Fausto Spoto o Sequence Quantification Peter Schachte o Garbage Collection Algorithms for Java--Based Prolog Engines Qinan Zhou, Paul Tarau o An Integrated Information System powered by Prolog Antonio Porto o Functional Hybrid Modelling Henrik Nilsson, John Peterson, Paul Hudak o A Logical Framework for Modelling eMAS Pierangelo Dell'Acqua and Luis Moniz Pereira o A Strafunski Application Letter Ralf Laemmel and Joost Visser o Roll: A language for specifying die-rolls Torben Mogensen o Solving Combinatorial Problems with a Constraint Functional Logic Language, Antonio J. Fernandez, Teresa Hortala-Gonzalez and Fernando Saenz-Perez o ACTILOG: An Agent Activation Language Jacinto A. Davila o Type-based XML Processing in Logic Programming Jorge Coelho and Mario Florido o Datalog with Constraints: A Foundation for Trust Management Languages Ninghui Li, John C. Mitchell o SXSLT: Manipulation Language for XML Oleg Kiselyov, Shriram Krishnamurthi o JMatch: Iterable Abstract Pattern Matching for Java Jed Liu, Andrew C. Myers o Lambda Goes to Hollywood Victor M. Gulias, Juan J. Sanchez, Carlos Abalde o A CLP-Based Tool for Computer Aided Generation and Solving of Maths Exercises, Ana Paula Tomas, Jose Paulo Leal

1 0