- Haskell - Haskell.org

EACL03 Last call for Research Notes and Demos
by Claire Gardent 26 Nov '02

26 Nov '02

+---------------------------------------------------+ EACL 2003 10th Conference of the European Chapter of the Association for Computational Linguistics April 12-17, 2003 Budapest, Hungary http://www.conferences.hu/EACL03/ +---------------------------------------------------+ Last Call for Research Notes and Demos Important dates: ---------------- . Paper Registration deadline: 01 December . Paper Submission deadline: 06 December Important URLs: --------------- Main conference: http://www.conferences.hu/EACL03/ Research notes and Demos: http://tcc.itc.it/people/lavelli/eacl2003/

1 0

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

25 Nov '02

there is the perl version of the diff algorithm on CPAN that may be a better starting point than the C version. -- 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. ____**

4 5

RE: Best recursion choice for "penultimax"
by Simon Marlow 25 Nov '02

25 Nov '02

> Some quick tests with Hugs +s on a example list that I constructed > with 576 elements give food for thought: > > reductions cells > my one liner 4035 11483 > tournament 7053 12288 > your penultimax 16715 20180 > your penultimax2 7466 10344 > your penultimax3 8605 13782 And with GHC -O, the results are quite different: Mark's one liner 0.60s tournament 0.25s your penultimax 0.26s your penultimax2 0.25s your penultimax3 0.25s the tests were with random numbers (different seed each time), but there was only a little little fluctuation from run to run. I specialised all the algorithms to Int. Hugs doesn't do much optimisation, so the reductions/cells counts tend to vary quite a bit between programs which GHC will optimise to the same or similar code. The moral, as usual, is YMMV... Cheers, Simon

1 0

Web Demonstration of Type Error Slicing
by Christian Haack 25 Nov '02

25 Nov '02

Previous methods have generally identified the location of a type error as a particular program point or the program subtree rooted at that point. In the paper "Type Error Slicing in Implicitly Typed Higher-Order Languages" by two of us (Haack and Wells), we present a new approach that treats the location of a type error as a minimal set of program points which are necessary for the type error and presents this "location" as a slice of the program. Connected to this paper, we have implemented type error slicing for a subset of core Standard ML. We have prepared a web interface that allows you to experiment with our implementation using just your web browser. This interface is now available at: http://www.cee.hw.ac.uk/ultra/compositional-analysis/type-error-slicing/ -- Sebastien Carlier, Christian Haack, and Joe Wells Members of the ULTRA group and the Church Project

2 2

Re: how to convert IO String to string---- still have questions
by Lu Mudong 25 Nov '02

25 Nov '02

Thanks a lot for you guys' help. I am very new to haskell and tried some methods you guys advised, doesn't seem to work, i think i didn't do it properly, here's my code and result, hope you can point out what's wrong. thanks! my code: myReadFile :: IO String myReadFile = readFile "d:/hugs98/input.txt" theString :: String theString = do s <- myReadFile putStrLn s the error message i got in hugs98 ERROR "D:\hugs98\parser.hs":16 - Type error in explicitly typed binding *** Term : theString *** Type : IO () *** Does not match : String >From: Ashley Yakeley <ashley(a)semantic.org> >To: "Ahn Ki-yung" <kyagrd(a)bawi.org>,"Haskell List" <haskell(a)haskell.org> >Subject: Re: how to convert IO String to string >Date: Fri, 22 Nov 2002 15:09:34 -0800 > >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 > >_______________________________________________ >Haskell mailing list >Haskell(a)haskell.org >http://www.haskell.org/mailman/listinfo/haskell _________________________________________________________________ Add photos to your messages with MSN 8. Get 2 months FREE*. http://join.msn.com/?page=features/featuredemail

6 6

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