December 2002 - Haskell

Announce: Gtk2hs version 0.9.2
by Axel Simon 21 Dec '02

21 Dec '02

Gtk2hs - A Haskell binding for Gtk+ version 2 Note: This is not gtk+hs. New features in this release: - Tree/List widgets support new features like selections and editing - drawing primitives allow the creation of costom widgets - documentation in DocBook XML automatically created from source (preliminary) - builds with GHC 5.04 - number of smaller additions and fixes The binding is available at: http://gtk2hs.sourceforge.net/ Merry Christmas, Axel

1 0

Re: Interpret haskell within haskell.
by Bill Harrison 20 Dec '02

20 Dec '02

Hi- The Programatica project at OGI is building a Haskell-in-Haskell specification, which is freely available. It isn't complete as yet, but large parts of it are: a front-end, an executable specification of the module system, and an interpreter for a large subset of Haskell98. Check out the Programatica website for further details: http://www.cse.ogi.edu/PacSoft/projects/programatica/default.htm The interpreter is available from my webpage (as is the paper "Fine Control of Demand in Haskell" describing it): http://www.cse.ogi.edu/~wlh/index.html Cheers, Bill >Message: 1 >Date: Thu, 19 Dec 2002 21:39:56 -0800 (PST) >From: David Sankel <camio(a)yahoo.com> >Subject: Interpret haskell within haskell. >To: haskell(a)haskell.org > >I was wondering if there is any project that aims to >interpret haskell within haskell. > >Is it feasable that a program can import a user's .hs >file that has something like: > >greeting :: String >greeting = "Something" > >port :: Int >port = 32 + 33 > >And the program can parse and execute the user's >function. > >I'm looking for something similar to the eval command >in Python. > >Thanks, > >David J. Sankel > >--__--__-- > >Message: 2 >Subject: RE: Interpret haskell within haskell. >Date: Fri, 20 Dec 2002 10:04:39 -0000 >From: "Simon Marlow" <simonmar(a)microsoft.com> >To: "David Sankel" <camio(a)yahoo.com>, <haskell(a)haskell.org> > > > I was wondering if there is any project that aims to > > interpret haskell within haskell. > >=20 > > Is it feasable that a program can import a user's .hs > > file that has something like: > >=20 > > greeting :: String > > greeting =3D "Something" > >=20 > > port :: Int > > port =3D 32 + 33 > >=20 > > And the program can parse and execute the user's > > function. > >=20 > > I'm looking for something similar to the eval command > > in Python. > >You could potentially do this with GHCi, but we haven't tried. The idea >is that you would need to expose parts of GHCi itself as a library which >can be used from the program. Linking is a bit tricky (you don't want >to load another copy of GHCi), but we know one way to get around that: >the --export-dynamic flag to ld. > >If you're interested in having a go, come on over to >glasgow-haskell-users(a)haskell.org and we'll help out with any problems >you run into. > >Cheers, > Simon > > >--__--__-- > >_______________________________________________ >Haskell mailing list >Haskell(a)haskell.org >http://www.haskell.org/mailman/listinfo/haskell > > >End of Haskell Digest

1 0

CFP: AADEBUG 2003
by nilsson＠cs.yale.edu 20 Dec '02

20 Dec '02

Please find enclosed the call for papers and demos for AADEBUG 2003: Fifth Int. Workshop on Automated and Algorithmic Debugging, Ghent, Belgium, September 8-10, 2003 Apologies for multiple copies. /Henrik -- Henrik Nilsson Yale University Department of Computer Science nilsson(a)cs.yale.edu AADEBUG'2003 Fifth Int. Workshop on Automated and Algorithmic Debugging Ghent, Belgium, September 8-10, 2003 Call for papers and demos Over the past decades automated debugging has seen major achieve- ments. However, as debugging is by necessity attached to particu- lar programming paradigms, the results are scattered. The aims of the workshop are to gather common themes and solutions across programming communities, and to cross-fertilize ideas. We seek papers describing original research as well as reports on practi- cal experience. We also welcome demonstrations of tools and re- search prototypes. Typical topics of the workshop include (but are not limited to): automated debugging declarative debugging type debugging knowledge-based debugging algorithmic debugging assertion-based debugging trace analysis software testing program slicing monitoring performance debugging parallel and distributed debugging debugging by simulation debugging using record/replay for any kind of programming paradigms (sequential, parallel, dis- tributed, real-time, logic programming, functional, object-ori- ented, imperative, visual languages). Accepted papers and demo descriptions will be included in the workshop proceedings, distributed locally on paper and CD, and will also be published on the CoRR (Computing Research Reposito- ry) website. Authors of the best papers will be invited to submit journal versions of their papers to a special issue of the Jour- nal of Automated Software Engineering on automated debugging. Demonstration of tools and research prototypes that implement new ideas in debugging automation will be part of the AADEBUG2003 technical program. Demos will be given in sessions together with technical paper presentations. Both demos and regular papers will receive a 30' time slot. Submission of Papers Contributors should be aware that the prospective audience will not necessarily be familiar with the addressed programming paradigms, which should, therefore, be briefly introduced. Papers should be no longer than 5000 words in length, including a 150 to 200 word abstract. Submit papers by uploading a PDF file to http://aadebug2003.elis.rug.ac.be/. Concurrently send an e-mail to aadebug2003(a)elis.rug.ac.be with the title of the paper, names of the authors, full address of the correspondent and a 150 to 200 word abstract of the paper. Submission of Demos Demo descriptions should be no longer than 2000 words including a 150 to 200 word abstract. Submit demos by uploading a PDF file to http://aadebug2003.elis.rug.ac.be/ Concurrently send an e-mail to aadebug2003(a)elis.rug.ac.be containing the title of the demo, names of the authors, full address of the correspondent and a 150 to 200 word abstract of the paper. Clearly mention the fact that you submit a demo and not a regular paper in your email. Authors having problems to submit using the web server can send the paper to aadebug2003(a)elis.rug.ac.be. Conference Information The website for AADEBUG2003 containing this Call for Papers and more info can be found at http://aadebug2003.elis.rug.ac.be/. If you encounter any kind of problem or need more information mail to aadebug2003(a)elis.rug.ac.be. Important Dates Paper and demo submission before March 15, 2003 Notification of acceptance by May 15, 2003 Final version of paper before June 30, 2003 (this applies to the local and the CoRR proceedings) Conference Information The website for AADEBUG2003 containing this Call for Papers and more information about the conference can be found at http://aadebug2003.elis.rug.ac.be/. If you encounter any kind of problem or need more information mail aadebug2003(a)elis.rug.ac.be. General Conference Chair Koen De Bosschere Ghent University, Belgium Email: kdb(a)elis.rug.ac.be Program Chair Michiel Ronsse Ghent University, Belgium Email: ronsse(a)elis.rug.ac.be Program Committee Members Mikhail Auguston New Mexico State University, USA Koen De Bosschere Ghent University, Belgium Jacques Chassin de Kergommeaux LSR/ENSIMAG, France Jong-Deok Choi IBM T.J. Watson Research Center, USA Mireille Ducassé IRISA/INSA, France Peter Fritzson Linköpings Universitet, Sweden Michael Gerndt Tech. Universität München, Germany Gerda Janssens Katholieke Universiteit Leuven, Belgium Clinton L. Jeffery New Mexico State University, USA Mariam Kamkar Linköpings Universitet, Sweden Dieter Kranzlmüller Joh. Kepler University Linz, Austria Raimondas Lencevicius Nokia Research Center, Boston Edu Metz Nokia Research Center, Boston Henrik Nilsson Yale University, USA Michiel Ronsse Ghent University, Belgium Gary Sevitsky IBM T.J. Watson Research Center, USA Markus Stumptner University of South Australia, Australia Kazunori Ueda Waseda University, Japan Roland Wismüller Technische Univ. München, Germany About Ghent Ghent is one of the oldest cities in Flanders, the Dutch speaking northern part of Belgium. Through the Middle Ages, it was among the most important economic centres of Western Europe and the historic city centre still reminds us of this period through its beautiful medieval towers. There are several trains an hour that connect Ghent to the closest international airport (Brus- sels, 60km). Other closeby airports are Schiphol (The Nether- lands, 200km) and Lille (France, 90km), both having easy train connections to Ghent.

1 0

RE: Interpret haskell within haskell.
by Simon Marlow 20 Dec '02

20 Dec '02

> I was wondering if there is any project that aims to > interpret haskell within haskell. > > Is it feasable that a program can import a user's .hs > file that has something like: > > greeting :: String > greeting = "Something" > > port :: Int > port = 32 + 33 > > And the program can parse and execute the user's > function. > > I'm looking for something similar to the eval command > in Python. You could potentially do this with GHCi, but we haven't tried. The idea is that you would need to expose parts of GHCi itself as a library which can be used from the program. Linking is a bit tricky (you don't want to load another copy of GHCi), but we know one way to get around that: the --export-dynamic flag to ld. If you're interested in having a go, come on over to glasgow-haskell-users(a)haskell.org and we'll help out with any problems you run into. Cheers, Simon

1 0

Interpret haskell within haskell.
by David Sankel 20 Dec '02

20 Dec '02

I was wondering if there is any project that aims to interpret haskell within haskell. Is it feasable that a program can import a user's .hs file that has something like: greeting :: String greeting = "Something" port :: Int port = 32 + 33 And the program can parse and execute the user's function. I'm looking for something similar to the eval command in Python. Thanks, David J. Sankel

1 0

RE: Urgent Help: URI parser
by Simon Marlow 19 Dec '02

19 Dec '02

> I wonder what happens to the port when URI parses http URL > string. Is it > possible to check for ":" and use the stated port instead of port 80? > Anyone has experience doing it before? > Thanks in advance. > Cheers, > Gek The Network.URI library will extract the "host:port": > authority (fromJust (parseURI "http://www.haskell.org:80/")) "www.haskell.org:80" You have to split this string into the separate host and port parts yourself. Cheers, Simon

1 0

Urgent Help: URI parser
by Yeo Gek Hui 19 Dec '02

19 Dec '02

Hi, I wonder what happens to the port when URI parses http URL string. Is it possible to check for ":" and use the stated port instead of port 80? Anyone has experience doing it before? Thanks in advance. Cheers, Gek

1 0

The Fun of Programming (fwd)
by Hal Daume III 18 Dec '02

18 Dec '02

I got this on the Types Forum, but thought people here might find it of interest, too. [----- The Types Forum, http://www.cis.upenn.edu/~bcpierce/types -----] Dear colleagues: We would like to advertise the following symposium, and are pleased to invite you to participate. We apologize if you receive multiple copies of this announcement. Jeremy and Oege * THE FUN OF PROGRAMMING A symposium in honour of Professor Richard Bird's 60th birthday Examination Schools, Oxford 24th and 25th March 2003 Professor Richard Bird is well known for his contributions to functional programming: for his two textbooks, his "Functional Pearls" column in the Journal of Functional Programming, his work on synthesizing programs from specifications, his influence in the design of the language Haskell and its predecessors, and so on. This symposium is to celebrate Richard Bird's work on the occasion of his sixtieth birthday. The symposium will coincide with the publication by Palgrave of an eponymous book. This book is intended as much as a textbook for an advanced course in functional programming as it is a festschrift; its twelve chapters cover applications (pretty printing, musical composition, hardware description, graphical design) and techniques (the design of efficient data structures, interpreters for little languages, program testing and optimization) in functional programming. The contributors to the book will give short lectures at the symposium, and every participant at the symposium will receive a copy of the book. The symposium will take place from 10.30am on Monday 24th March 2003 to 4pm on Tuesday 25th, in Oxford's historical Examination Schools. The registration fee includes participation, buffet lunch and tea and coffee on both days, a formal dinner on the Monday night in Worcester College, and a copy of the book. There is a lower price for early registration; the capacity of the lecture room is limited and offered on a first-come first-served basis, so early registration is recommended. The speakers are as follows: Chris Okasaki (West Point) John Hughes (Chalmers) Jeremy Gibbons (Oxford) Paul Hudak (Yale) Oege de Moor (Oxford) Simon Peyton Jones (Microsoft) Conal Elliott Mary Sheeran (Chalmers) Mike Spivey (Oxford) Ross Paterson (City) Philip Wadler (Avaya) Ralf Hinze (Bonn) For further details, including registration information, see the website at http://www.comlab.ox.ac.uk/oucl/research/areas/ap/fop/ In particular, there is an early registration deadline (with reduced fee) of 7th February 2003, and a late registration deadline of 7th March. Jeremy Gibbons and Oege de Moor (organizers) -- Jeremy.Gibbons(a)comlab.ox.ac.uk Oxford University Computing Laboratory, TEL: +44 1865 283508 Wolfson Building, Parks Road, FAX: +44 1865 273839 Oxford OX1 3QD, UK. URL: http://www.comlab.ox.ac.uk/oucl/people/jeremy.gibbons.html

1 0

RE: IO confusion
by Simon Marlow 18 Dec '02

18 Dec '02

> With "Foo" in the file c.out and the module > > \begin{code} > module Main (main) where > > import IO (openFile, hGetContents, hClose, IOMode(ReadMode)) > import System (getArgs) > import Monad (when) > > main :: IO () > main = do [x] <- getArgs > let you_want_it_to_work = read x > cout <- openFile "c.out" ReadMode > s <- hGetContents cout > putStrLn "" > when you_want_it_to_work $ putStrLn $ "Got this: " ++ s > putStrLn "" > hClose cout > putStrLn $ "The answer is: " ++ s > \end{code} > > I expected "The answer is: Foo" to be printed whether the argument was > True or False. When it is False, however, GHC (5.02.2, 5.04 and recent > CVS HEAD) think s is the empty string and nhc98 (1.10 and a 1.11 > from about a year ago) produces a binary that segfaults. At first I > thought it was a GHC bug, but now nhc98 also exhibits it I am > wondering if it is a bug in my understanding? Lazy I/O strikes again :-) When the argument is True, you should get Got this: Foo The answer is: Foo and when the argument is False, one possible correct output is: The answer is: which GHC (5.04.2 and CVS HEAD) does indeed produce. Another correct output would be The answer is: Foo in fact, any prefix of "Foo", including the empty string, would be correct. See section 21.2.2 in the (revised) Haskell 98 report. Cheers, Simon

2 1

IO confusion
by Ian Lynagh 18 Dec '02

18 Dec '02

Hi all, With "Foo" in the file c.out and the module \begin{code} module Main (main) where import IO (openFile, hGetContents, hClose, IOMode(ReadMode)) import System (getArgs) import Monad (when) main :: IO () main = do [x] <- getArgs let you_want_it_to_work = read x cout <- openFile "c.out" ReadMode s <- hGetContents cout putStrLn "" when you_want_it_to_work $ putStrLn $ "Got this: " ++ s putStrLn "" hClose cout putStrLn $ "The answer is: " ++ s \end{code} I expected "The answer is: Foo" to be printed whether the argument was True or False. When it is False, however, GHC (5.02.2, 5.04 and recent CVS HEAD) think s is the empty string and nhc98 (1.10 and a 1.11 from about a year ago) produces a binary that segfaults. At first I thought it was a GHC bug, but now nhc98 also exhibits it I am wondering if it is a bug in my understanding? Thanks Ian

1 0