February 2010 - Haskell

Haskell prime: the sequel (2011)
by Malcolm Wallace 22 Feb '10

22 Feb '10

http://hackage.haskell.org/trac/haskell-prime The new committee for Haskell language standardisation has been appointed, based on public nominations. I am the new chair. http://hackage.haskell.org/trac/haskell-prime/wiki/Committee In case you missed it, the previous committee resulted in the minor revision of the language called Haskell 2010. The next revision (Haskell 2011) is due to be decided later this year, around October- November, and published by the beginning of 2011. I would like to emphasise that the future of Haskell is in the hands of the whole community - and that means you. The committee's role is to make decisions, but the task of making and refining proposals belongs with the language's users. Please cogitate, agitate, and formulate! Here is how to get your language idea accepted: http://hackage.haskell.org/trac/haskell-prime/wiki/Process (Don't forget that you can propose _removal_ of features, as well as additions.) Regards, Malcolm

1 0

Citing Hackage with bibtex package
by Henning Thielemann 22 Feb '10

22 Feb '10

Hi, I have uploaded a new package version of 'bibtex' [1] that adds a new example program for generating a bibliography file for all packages on Hackage. This way you can easily cite a package from Hackage in your LaTeX documents. See [2] for a bibliography for a current snapshot. [1] http://hackage.haskell.org/package/bibtex-0.0.3 [2] http://code.haskell.org/~thielema/bibtex/hackage.bib Regards Henning Thielemann

1 0

CFP: Workshop on Termination (WST 2010, Edinburgh, July 14-15)
by Johannes Waldmann 22 Feb '10

22 Feb '10

Dear all, the 11th Intl. Workshop on Termination welcomes contributions from the functional programming community. See the general call for papers: http://imada.sdu.dk/~petersk/WST2010/ and let me add a few words here. The typical functional (compiler) programmer needs - termination of programs - termination of program transformations (rules) - termination of program analysis (type checking/inference) So I'm sure the workshop topic is highly relevant, and we are looking for *your* contributions. The workshop provides a ground for cross-fertilisation of ideas from term rewriting and from the different programming language communities. We hope to attain the same friendly atmosphere as in past workshops, which enabled fruitful exchanges leading to joint research and subsequent publications. Also, we have an annual competition for automated termination provers, http://termination-portal.org/wiki/Termination_Competition and since 2007 it contains a Haskell category. http://termination-portal.org/wiki/Functional_Programming The problems there are taken directly from the Standard Prelude. The state of the art in automated Haskell termination is pretty much defined by the AProVE team (Aachen University), nicely summarized here: http://aprove.informatik.rwth-aachen.de/eval/Haskell/ Best regards, Johannes Waldmann.

1 0

Functional Programming User Group Ghent
by Jeroen Janssen 21 Feb '10

21 Feb '10

Dear all, We are in the progress of starting up a Functional Programming User Group in Ghent. The basic idea of the group is to have occasional informal meetings where people can give talks, where we have invited speakers, where we go to a bar to chat about all things Functional Programming, to organize Haskell Hacking events etc. To see if enough people would be interested in such a group, and to make the organizing process of the first meeting easier, we would like to ask anyone interested to tick off the dates he/she is available on the Doodle-page provided below. Note that the indicated time is only a rough guideline; if you would prefer another time of day, you can indicate this in the Comments section of the Doodle. http://www.doodle.com/xq2i5hsueidwkh2f If enough people are interested, and a date is decided upon, we will e-mail the Haskell list once more to confirm the date and give anyone who was interested, but could not fill in the doodle, a chance to be present. Also, this ensures that you do not have to leave your e-mail address on Doodle. If you have any questions, do not hecessitate to contact one of us at either Bart.Coppens(a)UGent.be jejansse(a)gmail.com Kind Regards, Bart Coppens Jeroen Janssen

1 0

{darcs,hackage,cvs}.haskell.org, monk.galois.com
by Ian Lynagh 20 Feb '10

20 Feb '10

Hi all, monk is just days away from being turned off, so if you want to get anything off of it before that happens, you need to do it now. More information here: http://www.haskell.org/pipermail/haskell/2010-January/021861.html Thanks Ian

1 0

First Atlanta Function Programming Users Group Meeting
by David Vollbracht 20 Feb '10

20 Feb '10

For any functional programmers in or around Atlanta, GA, The Atlanta Functional Programming Users Group is having its first Meeting! Date: Monday March 1st Time: 7pm Location: ThoughtWorks' Atlanta Office! 3003 Summit Blvd, 14th Floor Atlanta, GA 30319 t: +1 404 460 5634 Agenda: * An introduction to Haskell by David Vollbracht. * Discussion regarding our future meet ups. (Pizza and drinks will be provided) If you'd like to join the group or just receive further communications about meetings and activities, join our google group here: http://groups.google.com/group/AFPUG Thank you for your attention, David Vollbracht

2 1

Call for Participation -- SICSA Summer School on Formal Reasoning & Representation of Complex Systems
by Gudmund Grov 19 Feb '10

19 Feb '10

Call for Participation ----------------------- SSFRR 2010 SICSA Summer School on Formal Reasoning & Representation of Complex Systems 14-15 August 2010 -- Heriot-Watt University campus -- Edinburgh Satellite summer school of VSTTE 2010 http://dream.inf.ed.ac.uk/events/ssfrr-2010/ ---------------------- ABOUT --------- The summer school will give a broad overview of software verification techniques, addressing both bottom-up and top-down approaches with a strong focus on the formal representation and reasoning themes. The school consists of eight introductory lectures, each concentrating on an unique aspect of one or both of the overall themes. The topics of the lectures include inductive theorem proving; SAT and SMT solving; proof planning and rippling; rely/guarantee conditions; separation logic; operating system verification; BiGraphs and formal analysis of security. The school is intended for PhD students and researchers working within one or both of these themes, however familiarity with any of the techniques is not a prerequisite. All lectures are meant to be introductory. PRESENTERS --------- The following will present at the summer school: * Robert Atkey (University of Strathclyde) & Ewen Maclean (Heriot-Watt University) * Alan Bundy & Lucas Dixon (University of Edinburgh) * Cliff Jones (University of Newcastle) * Gerwin Klein (National ICT Australia) * Robin Milner (University of Cambridge/Edinburgh) * J Strother Moore (University of Texas at Austin) * Natarajan Shankar (SRI) * Graham Steel (INRIA) PRELIMINARY PROGRAM --------- The summer school has the following preliminary program (timing and titles may still change): Saturday: * 09:00: Registration * 09:30: J Moore -- Machines Reasoning about Machines - 39 Years and Counting * 11:00: Coffee break * 11:30: Gerwin Klein -- Specification and Refinement in Operating System Verification * 13:00: Lunch * 14:00: Bob Atkey/Ewen Maclean -- Amortised Resource Analysis and Functional Correctness with Separation Logic * 15:30: Coffee break * 16:00: Alan Bundy/Lucas Dixon -- Proof-planning, inductive reasoning, and beyond * 17:30: End Sunday: * 09:30: Natarajan Shankar -- Verification using SAT and SMT solvers * 11:00: Coffee break * 11:30: Graham Steel -- Formal Analysis of Security * 13:00: Lunch * 14:00: Cliff Jones -- Tackling concurrency by reasoning explicitly about inference * 15:30: Coffee break * 16:00: Robin Milner -- BiGraphs: a Model for Mobile Agents * 17:30: End VENUE --------- The summer school is a satellite event of VSSTE 2010 (see http://www.macs.hw.ac.uk/vstte10/) and will be held the two days before the main event: Saturday 14th and Sunday 15th August 2010. Like VSTTE 2010, it will be held at the Edinburgh campus of Heriot-Watt University. REGISTRATION --------- The registration fee is £110, which also covers materials and lunches. We will offer campus accommodation at £42.50 (incl. VAT and breakfast) per night, which will be possible to book during registration. This is highly recommended since the summer school will coincide with several of the famous Edinburgh festivals -- where hotel prices in town tend to be very inflated. SICSA will cover registration and two nights campus accommodation for SICSA students (students from most Scottish Universities -- see http://www.sicsa.ac.uk/ to check if you are eligible). The number of SICSA students is limited, and a decision on ranking if this number is exceeded will only be taken if necessary. The registration will be joint with the VSTTE conference and will open shortly. However, due to a limited number of places, we can now offer pre-registration by emailing your details to ssfrr-2010(a)inf.ed.ac.uk. Places will be allocated on a first-come-first-serve basis. Please include the following in your email: * your name * your institution and country * if you are a SICSA student (matriculation number in case you are) * your research area/topic ORGANISERS --------- The summer school is jointly organised by The School of Informatics at Edinburgh University and The School of Mathematical and Computer Sciences at Heriot-Watt University by: * Lucas Dixon (Edinburgh) * Gudmund Grov (Edinburgh) * Ewen Maclean (Heriot-Watt) CONTACT --------- The organisers can be contacted at the following email address: ssfrr-2010(a)inf.ed.ac.uk. -- The University of Edinburgh is a charitable body, registered in Scotland, with registration number SC005336.

1 0

ANNOUNCE: vty-ui 0.3
by Jonathan Daugherty 19 Feb '10

19 Feb '10

I'm happy to announce the release of vty-ui 0.3. Get it from Hackage: http://hackage.haskell.org/package/vty-ui Or get the source with darcs: http://repos.codevine.org/vty-ui Project homepage: http://codevine.org/vty-ui/ This version of vty-ui features a richer rendering engine, generalized text transformations, and a more functional style. If you've written any applications to use vty-ui, your type signatures and usage of a few of the built-in widget types will need to change but the API is largely the same. In particular, the largest change was a refactoring inspired by Luke Palmer's blog post, "Haskell Antipattern: Existential Typeclass," which targeted vty-ui (among other libraries) in its treatment of the topic: http://lukepalmer.wordpress.com/2010/01/24/haskell-antipattern-existential-… Here's a summary of changes: General * Replace Widget type class with a concrete Widget type * Move text widget into Graphics.Vty.Widgets.Text * Add support for generalized text "formatters" * Replace WrappedText widget type with a text-wrapping formatter * Provide a regex-based text-highlighting formatter (see the demo for an example) * Refactor the rendering engine to provide "address" information so you can get coordinates and size for rendered widgets * Add a few QuickCheck tests (and related fixes) Enjoy! -- Jonathan Daugherty

1 0

Fwd: TFP 2010 - Call for Papers and Participation
by Simon Marlow 18 Feb '10

18 Feb '10

[ forwarding on behalf of Rex Page <page(a)ou.edu> ] TFP 2010: 11th SYMPOSIUM ON TRENDS IN FUNCTIONAL PROGRAMMING May 17-19, 2010 University of Oklahoma http://www.cs.ou.edu/tfp2010/ TFP 2010 is an international forum for researchers with interests in any aspect of functional programming. SUBMISSION and REGISTRATION DEADLINES April 2: Submission deadline April 16: Early registration deadline ($350, $200 for students) May 7: Late registration deadline ($425) May 17-19: TFP Symposium POST-SYMPOSIUM PROCEEDINGS Springer series: Lecture Notes in Computer Science Details about the event schedule, symposium scope, submissions, and registration may be found on the symposium website. http://www.cs.ou.edu/tfp2010/ (Web browser key "tfp 2010") Submitted papers and extended abstracts are reviewed for presentation at the symposium, and a formal refereeing process after the symposium selects the best presentations for publication the Springer series, Lecture Notes in Computer Science. We invite you to participate in TFP 2010. - Rex Page, University of Oklahoma, Program Chair - Viktia Zs and Zolt Horvath, Ev Lord University, Symposium Co-Chairs Sponsors: Erlang Solutions Ltd and The University of Oklahoma

1 0

ANN: iteratee-parsec 0.0.1
by Maciej Piechotka 18 Feb '10

18 Feb '10

Iteratee-parsec is a library which allows to have a parsec (3) parser in IterateeG monad. It contains 2 implementations: - John Lato's on public domain. It is based on monoid and design with short parsers in mind. - Mine on MIT. It is based on single-linked mutable list. It seems to be significantly faster for larger parsers - at least in some cases - but it requires a monad with references (such as for example IO or ST). Regards

1 0