April 2005 - Haskell - Haskell.org

Darcs and Haskell in practical use
by Chuan-kai Lin 11 Apr '05

11 Apr '05

Hi all, Some of you may have heard about the darcs distributed revision control system (http://abridgegame.org/darcs/) which is written in Haskell. Recently Linus Torvalds, the creator of Linux, had decided to abandon the BitKeeper revision control system in favor of using an open-source system to manage his kernel source tree. Among the contenders are monotone, GNU Arch, svk, and darcs. >From reading the postings in the Linux kernel mailing list [1], I think darcs is pretty well regarded for its capabilities. After all, complex symbolic manipulations is one of Haskell's strong points. Some people complained that darcs is relatively difficult to build, but that is not a big problem either. The real show-stopper turns out to be performance: the Linux kernel tree is huge, and the intense development activities put a lot of stress on the revision control system, so the (slow) execution speed and (large) memory footprint of darcs makes it unsuitable for such purposes. Needless to say, having darcs host Linus' kernel tree would be an excellent exposure for our favorite language. BitKeeper went from obscure to well-known in a few years solely because of its use in the Linux kernel development effort. Maybe someone in the list would be interested in helping David Roundy out in tuning darcs? Regards, -- Chuan-kai Lin http://www.cs.pdx.edu/~cklin/

2 1

RA position at Royal Holloway, Univ of London
by Zhaohui Luo 11 Apr '05

11 Apr '05

RESEARCH ASSISTANT Department of Computer Science Royal Holloway, University of London Applications are invited for the post of Research Assistant to join a team working on the EPSRC-funded project: "Pythagoras: Machine Support for Semi-formalised Proof Oriented Mathematics". This is an appointment for 12 months, commencing on 1 June 2005. The successful candidate will work with Professor Zhaohui Luo and is expected to have a PhD or to obtain a PhD degree soon in computer science, mathematics, or a related area. A strong background in one or more of the following areas would be of advantages, though not necessary: theorem proving type theory and associated proof assistants functional programming mathematics education The salary for the post is £22,674 per annum inclusive of London Allowance. Information on the Department may be found at www.cs.rhul.ac.uk. Informal enquiries may be directed to Prof Zhaohui Luo (email: Zhaohui.Luo(a)cs.rhul.ac.uk; tel: +44-(0)1784-443431; URL: http://www.cs.rhul.ac.uk/~zhaohui/ ). Further details and an application form can be obtained from The Personnel Department, Royal Holloway, University of London, Egham, Surrey TW20 0EX; fax: 01784 473527; tel: 01784 414241; email http://www.rhul.ac.uk/Personnel/JobVacancies.htm. Please quote reference KB/004286. The closing date for receipt of applications is Friday 29th April 2005.

1 0

[ANNOUNCE] First release of Haste (Haskell TurboEdit), an IDE for Haskell
by David Waern 10 Apr '05

10 Apr '05

Hi there! We are a group of students at Chalmers University of Technology who are developing an IDE for Haskell called Haste (short for Haskell TurboEdit) as our third-year project. We have made the first release of the IDE available. If you are using Windows, you can simply get it by downloading a binary version from our homepage. If you are using some other OS, you must compile the source, which you can also find if you go to our homepage. The address is: http://haste.dyndns.org:8080 Note that this is an early pre-alpha build, so there are lots of things that still need to be fixed and added. Also, the IDE has so far only been tested on Windows and Linux. Details of the implementation: ------------------------------ For the GUI, we are using wxHaskell. For the editor component, we have ported and integrated the wxStyledTextCtrl from wxWidgets into wxHaskell. It might be included in the next release of wxHaskell if Daan Leijen has enough time. If you want to help: -------------------- We would relly appreciate if anyone is interested in contributing to this project. However, since it is a school project we have to be careful about how we let other people contribute. If you want to help us, you must work on your _own_, somewhat isolated component in the editor so that it is clear what we have done and what you have done on the project. Other than that, there are no problems with contributing. If you are interested, just contact us and we will supply you with a Subversion account. Cheers, David Waern

1 0

ICTCS'05 Conference: Deadline Extension
by g. michele pinna 10 Apr '05

10 Apr '05

Apologies if you receive multiple copies ________________________________________________________________ Ninth Italian Conference on Theoretical Computer Science (ICTCS'05) Certosa di Pontignano (Siena), Italy October 12 - 14, 2005 http://ictcs05.dsmi.unisi.it DEADLINE EXTENSION: APRIL 25 Call for Papers The Ninth Italian Conference on Theoretical Computer Science will take place at the Certosa di Pontignano (Siena), Italy. Papers presenting original contributions in any area of theoretical computer science are being sought. A special issue of the journal Theory of Computing Systems (formerly Mathematical System Theory) containing full versions of papers selected from the conference is planned. Details of this special issue will be provided to the authors of those papers that are accepted for presentation at the conference. Topics include (but are not limited to): analysis and design of algorithms, computability, computational complexity, cryptography, formal languages and automata, foundations of programming languages and program analysis, foundations of artificial intelligence and knowledge representation, foundations of web programming natural computing paradigms (quantum computing, bioinformatics), parallel and distributed computation, program specification and verification, term rewriting, theory of concurrency, theory of data bases, theory of logical design and layout, type theory, security, symbolic and algebraic computation, Program Committee: Michele Bugliesi (Venezia), Mario Coppo (Torino, Co-Chair), Pierluigi Crescenzi (Firenze), Giulia Galbiati (Pavia) Luisa Gargano (Salerno), Giorgio Ghelli (Pisa), Roberto Grossi (Pisa), Benedetto Intrigila (L'Aquila), Nicola Leone (Cosenza), Elena Lodi (Siena, Co-Chair), Flaminia Luccio (Trieste), Andrea Masini (Verona), Giancarlo Mauri (Milano-Bicocca), Corrado Priami (Trento), Geppino Pucci (Padova), Davide Sangiorgi (Bologna). Organizing Committee: Sara Brunetti (Siena), G. Michele Pinna (Cagliari - Siena, Chair), Elisa B.P. Tiezzi (Siena). Invited Speakers: Luca Cardelli (Microsoft Research, Cambridge, United Kingdom) Giuseppe Castagna (LIENS - École Normale Supérieure, Paris, France) Nicola Santoro (School of Computer Science, Carleton University, Ottawa, Canada) Dates and Deadlines: Submission Deadline (extended): 25 April 2005 Acceptance Notification: 7 June 2005 Camera-ready deadline: 2 July 2005 Early registration deadline: 16 September 2005 Conference: 12-14 October 2005 Submissions: Authors are invited to submit electronically one copy of their draft paper, not exceeding fifteen pages. The paper should clearly indicate the results achieved, their significance, and their relation to other work in the area. Extended proofs can be placed in a clearly marked appendix. It is planned to publish the proceedings in the Springer Lecture Notes in Computer Science series. To uniform the submissions the authors are encouraged to use Latex and the Springer LNCS style (www.springer.de/comp/lncs) The web-based submission form is available at the page ictcs05.dsmi.unisi.it/submission.html. In case electronic submission is not possible, the authors should contact: Mario Coppo Dipartimento di Informatica, Universita' di Torino Corso Svizzera 185 I-10149 Torino, Italy email: coppo(a)di.unito.it Conference Page: This Call For Papers is available online at the conference web page ictcs05.dsmi.unisi.it Registration Details: The registration form will be reachable from the conference web page. A limited number of grants for students and young researchers covering the registration fees are available. Details for the applications are in the conference web page.

1 0

Post-Doc offers at Inria
by luc.maranget＠inria.fr 08 Apr '05

08 Apr '05

Hello, The moscova team at Inria Rocquencourt offers two Post-Doc positions. One is haskell-related (I also include the second offer, has little connection with Haskell). Candidates should hold a doctorate or Ph.D. for less than one year or be about to obtain one (ie, before September 1, 2005) Aplication deadline is April 22 (position starting in September). More information on the adminsitrative nature of the offer is available at <http://www.inria.fr/travailler/opportunites/postdoc/postdoc.en.html> As regards scientific matters, we offer two subjects. Interested candidates are invited to consult the web pages specified in the following abstracts for additional information, and to contact us. --Luc Maranget Pattern Matching Warnings for Haskell ************************************* Since Ocaml 1.05, Ocaml features an efficient and complete detection algorithm for pattern-matching anomalies such as useless match clauses and non-exhautive matchings. The corresponding theory is described in http://pauillac.inria.fr/~maranget/papers/warn.ps It also handles disjunctive patterns, without exponential explosion in practice. The post-doctorant will implement the detection algorithm in, for instance, GHC. She or he will demonstrate and document the work in order to make it available in a standard Haskell release. See <http://www-rocq.inria.fr/fr/actualites/recrutement/post-doc/moscova2.htm> Jocaml3 ******* Jocaml is an extension of Ocaml based on the Join-calculus, see http://join.inria.fr. There are already two releases of the Join-calculus and Jocaml. A third version, simplified and better integrated to the Ocaml compiler, is under development. It remains to implement remote communication in distributed settings, which represents a good third of the whole Jocaml implementation. As a final result, we want to get a release of Jocaml, accessible on the web and compatible with successive releases of Ocaml. See <http://www-rocq.inria.fr/fr/actualites/recrutement/post-doc/moscova.htm>

1 0

how to use GHC's prof tools
by haitao.wu＠yale.edu 08 Apr '05

08 Apr '05

Hi, I developed a program based on wxHaskell but it has serious performance problem. So I tried to compile the program using "-prof" in GHC. If I use "ghc --make -fglasgow-exts -package wx -prof Main.lhs", it always reports that it cannot find modules defined in wxHaskell like WXCore. However, if I compile it without the "-prof" option, it works well and can generate "a.out". Anyone can give any help? Thank you, Haitao

2 1

Haskell Workshop 2005: Call for papers
by Daan Leijen 08 Apr '05

08 Apr '05

[I apologize for cross-postings. Please forward to interested colleagues] 2005 Haskell Workshop Tallinn, Estonia, 30 September, 2005 http://www.cs.uu.nl/~daan/hw2005 Call for papers -- Important Dates --------------------------------------------------- Submission deadline : June 10 Acceptance notification: July 5 Final version due : July 19 Haskell workshop : September 30 -- The Haskell Workshop ---------------------------------------------- The Haskell Workshop 2005 is an ACM SIGPLAN sponsored workshop affiliated with the 2005 International Conference on Functional Programming (ICFP). Previous Haskell Workshops have been held in La Jolla (1995), Amsterdam (1997), Paris (1999), Montreal (2000), Firenze (2001), Pittsburgh (2002), Uppsala (2003), and Snowbird (2004). -- Scope ------------------------------------------------------------- The purpose of the Haskell Workshop is to discuss experience with Haskell, and future developments for the language. The scope of the workshop includes all aspects of the design, semantics, theory, application, implementation, and teaching of Haskell. Topics of interest include, but are not limited to, the following: * Language Design, with a focus on possible extensions and modifications of Haskell as well as critical discussions of the status quo; * Theory, in the form of a formal treatment of the semantics of the present language or future extensions, type systems, and foundations for program analysis and transformation; * Implementations, including program analysis and transformation, static and dynamic compilation for sequential, parallel, and distributed architectures, memory management as well as foreign function and component interfaces; * Tools, in the form of profilers, tracers, debuggers, pre-processors, and so forth; * Applications, Practice, and Experience, with Haskell for scientific and symbolic computing, database, multimedia and Web applications, and so forth as well as general experience with Haskell in education and industry; * Functional Pearls, being elegant, instructive examples of using Haskell. Papers in the latter two categories need not necessarily report original research results; they may instead, for example, report practical experience that will be useful to others, re-usable programming idioms, or elegant new ways of approaching a problem. The key criterion for such a paper is that it makes a contribution from which other practitioners can benefit. It is not enough simply to describe a program! If there is sufficient demand, we will try to organise a time slot for system or tool demonstrations. If you are interested in demonstrating a Haskell related tool or application, please send a brief demo proposal to the program chair (daan(a)cs.uu.nl) -- Submissions ------------------------------------------------------- Authors should submit papers in postscript or portable document format (pdf), formatted for A4 paper, to Daan Leijen (daan(a)cs.uu.nl) The length should be restricted to 12 pages in standard ACM SIG proceedings format. In particular, LaTeX users should use the most recent sigplan proceedings style available from the Haskell workshop web-site. Furthermore, the "abbrv" style should be used for the bibliography. Accepted papers are published by the ACM and appear in the ACM digital library. Each paper should explain its contributions in both general and technical terms, clearly identifying what has been accomplished, explaining why it is significant, and comparing it with previous work. Authors should strive to make the technical content of their papers understandable to a broad audience. -- Program committee ------------------------------------------------- Martin Erwig Oregon State University John Hughes Chalmers University of Technology Mark Jones OGI School of Science and Engineering at OHSU Ralf Lämmel Microsoft Corp. Daan Leijen Universiteit Utrecht (Program Chair) Andres Löh Universiteit Utrecht Andrew Moran Galois Connections Inc. Simon Thompson University of Kent Malcolm Wallace University of York

1 0

Re: [Haskell] Latex and Bibtex
by Thomas Bevan 08 Apr '05

08 Apr '05

Basically, my motivations are sa follows. No one as far as I can tell has produced a bibtex style which conforms to the Australian legal citation standard, the proper acronym escapes me for the moment. I decided that fiddling around with the bibtex language was no fun and pretty time consuming so I though I should be able to piece together some sort of solution in Haskell. On Apr 8, 2005 8:51 AM, Jeremy Gibbons <jeremy.gibbons(a)comlab.ox.ac.uk> wrote: > Hi there. I saw Doaitse's reply about a parser, but I'd be interested > in anything else you hear too. Will you post a summary to the Haskell > list? > > You know about Filliatre's bibtex2html, I presume? It isn't a > replacement for bibtex, but it runs bibtex and uses the output via an > OCaml program to generate html. > > I'm curious as to what your interest is. > > Cheers, > Jeremy > > On 7 Apr 2005, at 15:18, Thomas Bevan wrote: > > > Does anyone know of any work being done on Latex with Haskell? > > > > I am particularly interested in finding a Haskell replacement to > > Bibtex. > > > > Thanks. > > > > Tom > > _______________________________________________ > > Haskell mailing list > > Haskell(a)haskell.org > > http://www.haskell.org/mailman/listinfo/haskell > > > > 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

Latex and Bibtex
by Thomas Bevan 07 Apr '05

07 Apr '05

Does anyone know of any work being done on Latex with Haskell? I am particularly interested in finding a Haskell replacement to Bibtex. Thanks. Tom

2 2

[ICAPS 2005] Call for Participation
by ICAPS'05 07 Apr '05

07 Apr '05

[Apologies if you get multiple copies of this message] ============================================================== 15th International Conference on Automated Planning and Scheduling (ICAPS'05) June 6 - 10, Monterey, California, USA http://icaps05.icaps-conference.org Call for Participation ====================== The technical program of ICAPS 2005 has been completed and we cordially invite everyone interested in the area to participate. The technical sessions are complemented by a comprehensive workshop and tutorial program and highlighted by invited talks from Drew McDermott (Yale University, USA), Henry Kautz (University of Washington, USA), and Kim Larsen (Aalborg University, Denmark). The program details and registration information are available on the conference Web site. The early registration deadline is April 22nd. Information on hotel booking is also available for the limited rooms blocked at the conference rates. We look very much forward to seeing you in Monterey this coming June. Susanne Biundo, Karen Myers, Kanna Rajan ICAPS'05 co-chairs

1 0