June 2006 - Haskell - Haskell.org

Haskell developer is needed
by pvainuk＠aol.com 25 Jun '06

25 Jun '06

An enthusiastic Haskell Developer with good C++ skills is needed to assist with the rollout of a new system. This is a high profile project and the successful candidate will work in a very strong business oriented team where they will gain experience in wide variety of products and systems. Essential skills include: Haskell language, C++, office technology, Windows environment. Some finance knowledge is desired, but not essential. The ideal candidate with in depth understanding of computer science basics must be passionate about Haskell. You will need a 1st class computer science degree or demonstrate sound work experience. A successful candidate must be prepared to work under the pressure in the very dynamic environment extended hours. This is an excellent opportunity for a talented developer to join a well established company with global presence and to work on the most cutting edge technologies and to really progress your career. Location: HQ, London, UK Please send your CV to pvainuk(a)aol.com

1 0

Haskell Weekly News: June 25, 2006
by dons＠cse.unsw.edu.au 25 Jun '06

25 Jun '06

--------------------------------------------------------------------------- Haskell Weekly News http://haskell.org/haskellwiki/HWN Issue 38 - June 25, 2006 --------------------------------------------------------------------------- Welcome to issue 38 of HWN, a weekly newsletter covering developments in the Haskell community. Each week, new editions are posted to [1]the Haskell mailing list as well as to [2]the Haskell Sequence and [3]Planet Haskell. [4]RSS is also available, and headlines appear on [5]haskell.org. This edition mechanised, automated and published thanks to Text.PrettyPrint, hopefully making it easier to keep the weekly news schedule in future. 1. http://www.haskell.org/mailman/listinfo/haskell 2. http://sequence.complete.org/ 3. http://planet.haskell.org/ 4. http://sequence.complete.org/node/feed 5. http://haskell.org/ Announcements * The GHC Hackathon . Simon Peyton-Jones [6]announced that GHC HQ are going to run a hackathon, in Portland, just before ICFP this September (14-15th). It'll be held at Galois's offices, in Beaverton. Thanks go to [7]Galois for hosting the meeting. [8]Here are the details. If you are interested in finding out a bit about how GHC works inside, then you should find the hackathon fun. It will be informal and interactive. If you think you might come, please take a look at the above page, and register. 6. http://article.gmane.org/gmane.comp.lang.haskell.general/13838 7. http://galois.com/ 8. http://hackage.haskell.org/trac/ghc/wiki/Hackathon * Bytecode API library . Robert Dockins [9]announced a release of an alpha version of a library for reading and writing the YHC bytecode file format. It reads and writes the entire bytecode set, version 1.9 (the one used by recent YHC builds). [10]Check it out. 9. http://article.gmane.org/gmane.comp.lang.haskell.yhc/134 10. http://www.eecs.tufts.edu/~rdocki01/yhc-bytecode.html Haskell' This section covers the [11]Haskell' standardisation process. * [12]Regarding Class Aliases 11. http://hackage.haskell.org/trac/haskell-prime 12. http://thread.gmane.org/gmane.comp.lang.haskell.prime/1558/focus=1558 Discussion * Extensible records using associated types . Barney Hilken [13]suggested an interesting encoding of polymorphic extensible records using associated types. 13. http://thread.gmane.org/gmane.comp.lang.haskell.general/13828/focus=13828 * Graphing community activity . Don Stewart [14]posted started graphing the commit activity of [15]various Haskell community projects over time. 14. http://article.gmane.org/gmane.comp.lang.haskell.general/13830 15. http://www.cse.unsw.edu.au/~dons/images/commits/community/ Contributing to HWN To help create new editions of this newsletter, please see the [16]contributing information. Send stories to dons at cse.unsw.edu.au . The darcs repository is available at darcs get http://www.cse.unsw.edu.au/~dons/code/hwn 16. http://haskell.org/haskellwiki/HWN

1 0

Type inference for arbitrary rank types
by Edsko de Vries 23 Jun '06

23 Jun '06

Hi, I am currently studying the paper "Practical Type Inference for Arbitrary Rank Types" by Simon Peyton Jones and Mark Shields, and I've been wondering about the final version of the typing rules (figure 7, "Bidirectional version of Odersky-Laufer") (although I suppose the question is slightly more general than this figure). In this figure, there are rules for annotated abstractions (AABS1 and AABS2) and annotated terms (ANNOT). What I'm wondering about: are the rules AABS1 and AABS2 really necessary? As in, if you would remove those two rules, does there exist a program that can be typed with the original set of rules than cannot be typed with the set of rules with AABS1/2 removed? It seems to me that any program that can be typed using AABS1/2, can also be typed with ANNOT. More importantly, in the absence of lexically scoped type variables, a type such as forall a. (forall b. (a, b) -> (b, a)) -> [a] -> [a] (*) (the example given on page 11, section 4.1 in the paper) cannot even be typed using AABS1/2, but must be typed with ANNOT. Perhaps I am missing something here though, because in Odersky and Laufer's original paper, they do not do "local type inference" (they don't specify a bidirectional version), which would make type (*) impossible to specify in their original system? Thanks, Edsko

2 1

FOOL/WOOD '07 Call for papers
by Simon Marlow 23 Jun '06

23 Jun '06

[ posting on behalf of John Reppy <jhr(a)cs.uchicago.edu> ] Call For Papers 2007 International Workshop on Foundations and Developments of Object-Oriented Languages (FOOL/WOOD '07) Sponsored by ACM SIGPLAN Saturday, 20 January 2007 Nice, France Following POPL '07 http://foolwood07.cs.uchicago.edu Deadlines Submissions: Friday, 6 October 2006, 12:00 noon CDT (19:00 UTC) Notifications: Friday, 24 November 2006 Final versions: Friday, 22 December 2006 Workshop Description The search for sound principles for object-oriented languages has given rise to much work during the past two decades, leading to a better understanding of the key concepts of object-oriented languages and to important developments in type theory, semantics, program verification, and program development. The merger of the FOOL and WOOD workshops is intended to bring together researchers to share new ideas and results in these areas. The second joint workshop, FOOL/WOOD '07, will be held in Nice, France on Saturday, 20 January 2007, the day after POPL. Submissions for this event are invited in the general area of foundations of object-oriented languages and program analysis. Topics of interest include language semantics, type systems, program analysis and verification, formal calculi, concurrent and distributed languages, database languages, and language-based security issues. Papers are welcome to include formal descriptions and proofs, but these are not required; the key consideration is that papers should present novel and valuable ideas or experiences. The main focus in selecting workshop contributions will be the intrinsic interest and timeliness of the work, so authors are encouraged to submit polished descriptions of work in progress as well as papers describing completed projects. A web page will be created and made available as an informal electronic proceedings. Historically, presentation at FOOL/WOOD does not count as prior publication, and many of the results presented at FOOL/WOOD have later been published ECOOP, OOPSLA, POPL, and other conferences. Submission Instructions We solicit submissions on original research not previously published or currently submitted for publication elsewhere. The program chair should be informed of any related submissions; see the ACM SIGPLAN Republication Policy. Submissions should be PDF or PostScript in standard SIGPLAN 9pt conference format for a US-letter size page; templates are available at http://www.acm.org/sigs/sigplan/authorInformation.htm While submissions can be up to 12 pages, shorter papers describing promising preliminary work are also encouraged. Program Chair John Reppy (University of Chicago) e-mail: foolwood07 at mailman.cs.uchicago.edu Program Committee Derek Dreyer (Toyota Technological Institute at Chicago) Erik Ernst (University of Aarhus) Atsushi Igarashi (Kyoto University) Rustan Leino (Microsoft) Luigi Liquori (INRIA Sophia Antipolis) Todd Millstein (University of California - Los Angeles) David Walker (Princeton University) Elena Zucca (University of Genova) Steering Committee Viviana Bono (Universita di Torino) Michele Bugliesi (Universita Ca' Foscari) Sophia Drossopoulou (Imperial College) Kathleen Fisher (AT&T Labs) [Chair] Martin Odersky (Ecole Polytechnique Federale de Lausanne) Benjamin Pierce (University of Pennsylvania) Philip Wadler (University of Edinburgh)

1 0

Finding the length of a String in bytes
by David House 22 Jun '06

22 Jun '06

Hi there. I recently needed to add a Content-Length header to my HTTP request forged with Network.HTTP [1]. However, this needs to be the length of the body content in bytes, not characters. Without assuming the characters will all be ASCII, is there an easy way of doing this? length seems to have the correct results, but I'm uneasy about relying on this. Any comments? -- -David House, dmhouse(a)gmail.com

2 1

CFP: 2nd Int'l Workshop on Automated Specification and Verification of Web Systems (WWV'06)
by Santiago Escobar 22 Jun '06

22 Jun '06

[ We apologize for multiple copies ] ******************************************************************* 2nd International Workshop on Automated Specification and Verification of Web Systems (WWV'06) Cyprus, November 15-19, 2006 (Track of ISoLA 2006) http://www.dsic.upv.es/workshops/wwv06 ******************************************************************* SCOPE The increased complexity of Web sites and the explosive growth of Web-based applications has turned their design and construction into a challenging problem. Nowadays, many companies have diverted their Web sites into interactive, completely-automated, Web-based applications (such as Amazon, on-line banking, or travel agencies) with a high complexity that requires appropriate specification and verification techniques and tools. Systematic, formal approaches to the analysis and verification can address the problems of this particular domain with automated and reliable tools that also incorporate semantic aspects. We solicit paper on formal methods and techniques applied to Web sites, Web services or Web-based applications, such as: * rule-based approaches to Web site analysis, certification, specification, verification, and optimization * formal models for describing and reasoning about Web sites * model-checking, synthesis and debugging of Web sites * abstract interpretation and program transformation applied to the semantic Web * intelligent tutoring and advisory systems for Web specifications authoring The WWV series provides a forum for researchers from the communities of Rule-based programming, Automated Software Engineering, and Web-oriented research to facilitate the cross-fertilization and the advancement of hybrid methods that combine the three areas. LOCATION WWV'06 will be held in November in Cyprus as a Special Track of the 2006 International Symposium on Leveraging Applications of Formal Methods, Verification, and Validation (ISoLA 2006). SUBMISSION PROCEDURE Submissions must be received by July 16, 2006. In addition, an ASCII version of the title and abstract must have been submitted by July 3, 2006. Submitted papers should be at most 15 pages in the Lecture Notes in Computer Science (LNCS) style. Submitted papers should include an abstract and the author's information. See the author's instructions of LNCS style at http://www.springer.de/comp/lncs/authors.html. PUBLICATION Accepted papers will be published in a preliminary proceedings volume, which will be available during the workshop. Publication of the workshop post-proceedings by IEEE Computer Society Press is envisaged. PROGRAM CO-CHAIRS Maria Alpuente (Technical University of Valencia, Spain) Moreno Falaschi (University of Siena, Italy) WORKSHOP CHAIR Santiago Escobar (Technical University of Valencia, Spain) PROGRAM COMMITTEE Jose Julio Alferes (Universidade Nova de Lisboa, Portugal) Maria Alpuente (Technical University of Valencia, Spain) Demis Ballis (University of Udine, Italy) Francois Bry (University of Munich, Germany) Santiago Escobar (Technical University of Valencia, Spain) Francois Fages (INRIA Rocquencourt, France) Moreno Falaschi (University of Siena, Italy) Gopal Gupta (University of Texas at Dallas, USA) Shriram Krishnamurthi (Brown University, USA) Tiziana Margaria (University of Potsdam, Germany) I.V. Ramakrishnan (State University of New York at Stony Brook, USA) Leon van der Torre (University of Luxembourg, Luxembourg) IMPORTANT DATES Abstract Submission July 3, 2006 Full Paper Submission July 16, 2006 Acceptance Notification September 17, 2006 Camera Ready October 15, 2006 Workshop November 15-19, 2006 (one day)

1 0

The GHC hackathon: 14,15 September 2006, Portland
by Simon Peyton-Jones 21 Jun '06

21 Jun '06

Friends After some encouragement at last year's ICFP, Simon and I are going to run a GHC hackathon, in Portland, just before ICFP this September (14-15th). It'll be held at Galois's offices, in Beaverton; we're very grateful to Galois for hosting the meeting. The details are here: http://hackage.haskell.org/trac/ghc/wiki/Hackathon If you are interested in finding out a bit about how GHC works inside, then you should find the hackathon fun. It will certainly be informal and interactive. GHC is a 100% open-source project, and the more people that are involved the better it goes. If you think you might come, please take a look at the above page, and let us know by registering. See you soon! Simon

1 0

Transnational Access Program at RISC
by Simon Marlow 21 Jun '06

21 Jun '06

[Posting on behalf of Temur Kutsia <Temur.Kutsia(a)risc.uni-linz.ac.at>] [Apologies if you receive multiple copies] ******************************************************** * European Commission Framework 6 Programme * * Integrated Infrastructures Initiatives * * * * Symbolic Computation in Europe (SCIEnce) * * * * TRANSNATIONAL ACCESS PROGRAM * * * * * * Research Institute for Symbolic Computation (RISC) * * Johannes Kepler University of Linz, Austria * * * ******************************************************** RISC-Linz, a research institute at the Johannes Kepler University, Austria, offers opportunities to researchers to obtain access to its infrastructure and facilities. Access is free of charge and is provided through the project SCIEnce within the 6th Framework Programme of the European Commission. What we offer ============= Free access to the infrastructure, facilities, and expertise of a world-leading center in symbolic computation. Scientific, technical, administrative, and logistic support, including travel and living expenses. Who can benefit =============== Researchers from any field of sciences who use or would like to use symbolic computation in their research. For more information and the application procedure please visit the program web page: http://www.risc.uni-linz.ac.at/research/projects/science/access/

1 0

Would you like a job working on GHC?
by Simon Peyton-Jones 21 Jun '06

21 Jun '06

Would you like to be paid to work on GHC? The Glasgow Haskell Compiler (GHC) is now being used by so many people, on so many platforms, that at GHC HQ we've been struggling to keep up. We're delighted to say that we are now looking to hire a GHC support engineer to work with us. Here is how we envisage working together: * You would work 3-5 days a week on GHC (details flexible). * You don't need to live in Cambridge, but we would like you to visit every few months, so that we build up a face-to-face relationship. * You'll be a self-employed consultant, not a Microsoft employee. You bill us; we pay you. * The position is a one year fixed term contract in the first instance. * GHC is, and will remain, an open-source project with a BSD-style license. We are looking for help with the role of supporting GHC in the field. Specifically, here's what the job involves: * Investigating, prioritising and fixing bugs, improving the test suite * Managing the STABLE branch of the source tree * Managing the GHC release cycle * Keeping the GHC web site up to date * Answering questions from GHC users * Helping to support the open-source community that works on GHC itself We're particularly looking for someone who is experienced in a variety of operating system platforms and libraries. You should be able to deal with questions like "I try to build GHC on Solaris 2.3.4 and get `undefined symbol _readline'"; or "How do I link to DLLs on Windows?"; or "does the ByteString library in GHC 6.2.1 do XXX?". The role will not primarily involve working on GHC's core; it's the parts round the edges that you would mainly focus on. You must be able to read and write Haskell, but we don't expect that you'll need to write a great deal of Haskell code. C and 'make' experience are important too. Above all, we are looking for someone who is enthusiastic about Haskell, and fired up about the prospect of becoming a GHC expert. If you are interested, please send your CV and a statement of why you would be a good fit for the job, to our Human Resources Department at camjobop(a)microsoft.com We're happy to accept informal enquiries of course: please contact Simon Marlow (simonmar(a)microsoft.com) or Simon Peyton Jones (simonpj(a)microsoft.com) for further information. The rate of pay is dependent on qualifications and experience. It'll be fun! Simon Peyton Jones and Simon Marlow

1 1

aosd 2007
by Oege.de.Moor＠comlab.ox.ac.uk 20 Jun '06

20 Jun '06

AOSD 2007: CALL FOR RESEARCH PAPERS 6th Conference on Aspect-Oriented Software Development http://www.aosd.net/2007/cfc/research.php >> abstract submission by September 22, 2006 << ------------------------------------------------------ The program committee especially welcomes submissions from researchers in functional programming on any topic relating to aspect-oriented extensions of Haskell (or why you don't need them!)

1 0