- Haskell - Haskell.org

Interested in the Dutch HUG Day (24 April 2010)?
by Sean Leather 25 Feb '10

25 Feb '10

In honor of the first anniversary of the Dutch Haskell Users Group (formed at Hac5 in Utrecht), we are planning a mini symposium to bring together Haskell and functional programming enthusiasts in the Netherlands and surrounding area. *The Dutch HUG Day will be held on Saturday, 24 April.* Please mark that date in your calendar. The remaining details are being worked out. In order to help us with this process, we have created a short survey. If you are even remotely considering attending, please take a moment to fill out a form with your name and the activities that interest you. * http://spreadsheets.google.com/viewform?formkey=dGVuVTdnZEl0ZDE3MEVweUtRdml… Note that this does not commit you to anything. We will only use this information to help plan the event (e.g. determine the number of seats at the location and the types of activities). For more information about the Dutch HUG, visit the wiki page and sign up for the mailing list. * http://www.haskell.org/haskellwiki/Dutch_HUG * http://groups.google.com/group/dutch-hug Thanks for your time! Sincerely, The Dutch HUG Day planning team

1 0

ANN: concurrent-extra-0.2
by Roel van Dijk 24 Feb '10

24 Feb '10

Hello, We would like to announce an update of concurrent-extra [1]. Bug fixes: - A bug in RLock.acquire (thanks to Felipe Lessa). New features: - Broadcast: Wake multiple threads by broadcasting a value. This is a generalisation of Event. - Thread: Threads extended with the ability to wait for their termination. - delay: Arbitrarily long thread delays. - timeout: Wait arbitrarily long for an IO computation to finish. The lightweight thread wrapper was inspired by the threadmanager package [2]. The main advantage of our implementation is that we don't maintain an internal mapping from ThreadId to ThreadStatus. Instead we rely on the forked thread to broadcast its status to interested listeners. This should result in better performance (no lookup required). Every exported symbol is now documented. Regards, Roel & Bas van Dijk [1] http://hackage.haskell.org/package/concurrent-extra-0.2 [2] http://hackage.haskell.org/package/threadmanager-0.1.3

2 2

ICFP 2010: Second call for papers
by Wouter Swierstra 24 Feb '10

24 Feb '10

===================================================================== Second Call for Papers ICFP 2010: International Conference on Functional Programming Baltimore, Maryland, 27 -- 29 September 2010 http://www.icfpconference.org/icfp2010 ===================================================================== Important Dates (at 14:00 UTC) ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ Submission: 2 April 2010 Author response: 24 -- 25 May 2010 Notification: 7 June 2010 Final papers due: 12 July 2010 Scope ~~~~~ ICFP 2010 seeks original papers on the art and science of functional programming. Submissions are invited on all topics from principles to practice, from foundations to features, from abstraction to application. The scope includes all languages that encourage functional programming, including both purely applicative and imperative languages, as well as languages with objects or concurrency. Particular topics of interest include * Language Design: type systems; concurrency and distribution; modules; components and composition; metaprogramming; relations to object-oriented or logic programming; interoperability * Implementation: abstract machines; compilation; compile-time and run-time optimization; memory management; multi-threading; exploiting parallel hardware; interfaces to foreign functions, services, components or low-level machine resources * Software-Development Techniques: algorithms and data structures; design patterns; specification; verification; validation; proof assistants; debugging; testing; tracing; profiling * Foundations: formal semantics; lambda calculus; rewriting; type theory; monads; continuations; control; state; effects * Transformation and Analysis: abstract interpretation; partial evaluation; program transformation; program calculation; program proof * Applications and Domain-Specific Languages: symbolic computing; formal-methods tools; artificial intelligence; systems programming; distributed-systems and web programming; hardware design; databases; XML processing; scientific and numerical computing; graphical user interfaces; multimedia programming; scripting; system administration; security; education * Functional Pearls: elegant, instructive, and fun essays on functional programming The conference also solicits Experience Reports, which are short papers that provide evidence that functional programming really works or describe obstacles that have kept it from working in a particular application. Abbreviated instructions for authors ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ By 2 April 2010, 14:00 UTC, submit an abstract of at most 300 words and a full paper of at most 12 pages (6 pages for an Experience Report), including bibliography and figures. The deadline will be strictly enforced and papers exceeding the page limits will be summarily rejected. Authors have the option to attach supplementary material to a submission, on the understanding that reviewers may choose not to look at it. A submission will be evaluated according to its relevance, correctness, significance, originality, and clarity. It 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. The technical content should be accessible to a broad audience. Functional Pearls and Experience Reports are separate categories of papers that need not report original research results and must be marked as such at the time of submission. Detailed guidelines on both categories are on the conference web site. Each submission must adhere to SIGPLAN's republication policy, as explained on the web at http://www.acm.org/sigplan/republicationpolicy.htm. Proceedings will be published by ACM Press. Authors of accepted submissions are expected to transfer the copyright to the ACM. Presentations will be videotaped and released online if the presenter consents by signing an additional permission form at the time of the presentation. Formatting: Submissions must be in PDF format printable in black and white on US Letter sized paper and interpretable by Ghostscript. If this requirement is a hardship, make contact with the program chair at least one week before the deadline. Papers must adhere to the standard ACM conference format: two columns, nine-point font on a ten-point baseline, with columns 20pc (3.33in) wide and 54pc (9in) tall, with a column gutter of 2pc (0.33in). A suitable document template for LATEX is available from SIGPLAN at http://www.acm.org/sigs/sigplan/authorInformation.htm. Submission: Submissions will be accepted electronically at a URL to be named later. Improved versions of a paper may be submitted at any point before the submission deadline using the same web interface. Author response: Authors will have a 48-hour period, starting at 14:00 UTC on 24 May 2010, to read and respond to reviews. Special Journal Issue: There will be a special issue of the Journal of Functional Programming with papers from ICFP 2010. The program committee will invite the authors of select accepted papers to submit a journal version to this issue. Organization ~~~~~~~~~~~~ Conference Chair Paul Hudak, Yale University Program Chair Stephanie Weirich, University of Pennsylvania Program Committee: Umut Acar, Max Planck Institute for Software Systems Zena Ariola, University of Oregon James Cheney, University of Edinburgh Peter Dybjer, Chalmers University of Technology Robert Bruce Findler, Northwestern University Andy Gill, Kansas University Fritz Henglein, University of Copenhagen Michael Hicks, University of Maryland, College Park Patricia Johann, University of Strathclyde Andres Löh, Utrecht University Simon L. Peyton Jones, Microsoft Research Didier Rémy, INRIA Paris-Rocquencourt John Reppy, University of Chicago Manuel Serrano, INRIA Sophia-Antipolis Matthieu Sozeau, Harvard University

1 0

Haskell Weekly News: Issue 150 - February 22, 2010
by jfredett＠gmail.com 24 Feb '10

24 Feb '10

--------------------------------------------------------------------------- Haskell Weekly News http://sequence.complete.org/hwn/20100222 Issue 150 - February 22, 2010 --------------------------------------------------------------------------- Welcome to issue 150 of HWN, a newsletter covering developments in the [1]Haskell community. From the very pits of Harddrive failure I return... The Haskell Weekly News Reborn! Last week, on friday, my HWN machine suffered what can only be appropriately named a unbelievably poorly timed hard drive failure, hence the lack of an HWN. I trumphently return this week with a megaedition. Tons and tons of awesome stuff happened in the last two weeks. So I won't make you wait any longer, haskellers, your Haskell Weekly News! Announcements vty-ui 0.3. Jonathan Daugherty [2]announced a new version of vty-ui, featuring a richer rendering engine, generalized text transformations, and a more functional style. darcs 2.4 release candidate 2. Reinier Lamers [3]announced a new release candidate for darcs 2.4. iteratee-parsec 0.0.1. Maciej Piechotka [4]announced the release of iteratee-parsec, a library whih provides support for parsec parsers in an Iteratee monad. concurrent-extra-0.1. Roel van Dijk [5]announced the release of concurrent-extra, which provides a few new synchronization primitives. wyvern, a Dragon Go Server 'client'. wagnerdm [6]announced wyvern, a Dragon Go Server 'client', which plays moves for you on the [7]Dragon Go Server. atom-1.0.0. Tom Hawkins [8]announced a new major release of the atom library. Call for Copy: Monad.Reader Issue 16. Brent Yorgey [9]announced the call for copy for Monad.Reader issue 16. hmatrix 0.8.3. Alberto Ruiz [10]announced a new version of hmatrix. First Atlanta Function Programming Users Group Meeting. David Vollbracht [11]announced the first Atlanta FP Group meetup. TFP 2010 - Call for Papers and Participation. Simon Marlow [12]announced a call for papers and particpation in TFP 2010, the 11th Symposium on Trends in Functional Programming. CMCS 2010: Call for Short Submissions & Call for Participation. Alexandra Silva [13]announced a call for short submissions and participation in the 10th International Workshop on Coalgebraic Methods in Computer Science. WGP 2010 Call for Papers. Bruno Oliveira [14]announced a call for papers for Workshop on Generic Programming. ICE 2010: First call for papers. Alexandra Silva [15]announced the first call for papers for ICE2010, the 3rd Interation and Concurrency Experience workshop. Call for Papers: Haskell Symposium 2010. Jeremy.Gibbons [16]announced a call for papers for the 2010 Haskell Symposium. Dungeons of Wor - a largish FRP example and a fun game, all in one! Patai Gergely [17]announced Dungeons of Wor, a Game written in Haskell using the Elerea library and Functional Reactive Techniques. Discussion The Related monad and constant values in type classes. Jonas Almstroem Duregard [18]talked about a common pattern which occurs when associating data with a type (as opposed to a value). Heterogeneous Data Structures - Nested Pairs and functional references. Guenther Schmidt [19]asked about different ways to implement heterogeonous datastructures. Blog noise [20]Haskell news from the [21]blogosphere. Blog posts from people new to the Haskell community are marked with >>>, be sure to welcome them! * Michael Snoyman: [22]Four HTTP Request Body Interfaces (repost). * Brent Yorgey: [23]Math.Combinatorics.Multiset. * Darcs: [24]darcs weekly news #55. * Galois, Inc: [25]Tech Talk: Modern Benchmarking in Haskell. * Ketil Malde: [26]Tools for pyrosequencing analysis. * Arch Haskell News: [27]Arch Haskell News: February 2010. * Don Stewart (dons): [28]Migrating from uvector to vector. * GHC / OpenSPARC Project: [29]Memory Barriers and GHC 6.12.1. * Darcs: [30]darcs weekly news #54. * Gergely Patai: [31]Behind the dungeons. * David Amos: [32]How to find a strong generating set. Quotes of the Week * fasta: And by cool, I mean 'that is not supposed to happen'. * uncyclopedia: Calculations which are undefined are denoted by the _|_ symbol, pronounced Bottom, which the documentation explains as the compiler giving you the finger. * Draconx|Laptop: mathematics is the art of finding different ways to write "therefore". * medfly: Cale, #haskell wants to know all your personal preferences so we can all copy you * Cale: Gentoo is a massive waste of electricity. * hobophobe: So, I can only conclude that Haskell is a memetic virus, and monads are the eggs it lays out in innocent programming forums to entice others to become infected. * benmachine: unsafeCoerce is just a generalisation of id * jmcarthur: what good is a state monad if your state is basically 'i have no idea what the hell my state is'? About the Haskell Weekly News New editions are posted to [33]the Haskell mailing list as well as to [34]the Haskell Sequence and [35]Planet Haskell. [36]RSS is also available, and headlines appear on [37]haskell.org. To help create new editions of this newsletter, please see the information on [38]how to contribute. Send stories to jfredett . at . gmail . dot . com. The darcs repository is available at darcs get [39]http://patch-tag.com/r/jfredett/HWN2/pullrepo HWN2 . References 1. http://haskell.org/ 2. http://article.gmane.org/gmane.comp.lang.haskell.cafe/70589 3. http://article.gmane.org/gmane.comp.lang.haskell.cafe/70563 4. http://article.gmane.org/gmane.comp.lang.haskell.cafe/70533 5. http://article.gmane.org/gmane.comp.lang.haskell.cafe/70485 6. http://article.gmane.org/gmane.comp.lang.haskell.cafe/70344 7. http://www.dragongoserver.net/ 8. http://article.gmane.org/gmane.comp.lang.haskell.cafe/70328 9. http://article.gmane.org/gmane.comp.lang.haskell.cafe/70314 10. http://article.gmane.org/gmane.comp.lang.haskell.cafe/70290 11. http://article.gmane.org/gmane.comp.lang.haskell.general/17802 12. http://article.gmane.org/gmane.comp.lang.haskell.general/17799 13. http://article.gmane.org/gmane.comp.lang.haskell.general/17791 14. http://article.gmane.org/gmane.comp.lang.haskell.general/17783 15. http://article.gmane.org/gmane.comp.lang.haskell.general/17779 16. http://article.gmane.org/gmane.comp.lang.haskell.general/17778 17. http://article.gmane.org/gmane.comp.lang.haskell.cafe/70188 18. http://thread.gmane.org/gmane.comp.lang.haskell.cafe/70492 19. http://thread.gmane.org/gmane.comp.lang.haskell.cafe/70450 20. http://planet.haskell.org/ 21. http://haskell.org/haskellwiki/Blog_articles 22. http://snoyberg.wordpress.com/2010/02/21/four-http-request-body-interfaces-… 23. http://byorgey.wordpress.com/2010/02/20/math-combinatorics-multiset/ 24. http://blog.darcs.net/2010/02/darcs-weekly-news-55.html 25. http://www.galois.com/blog/2010/02/19/tech-talk-modern-benchmarking-in-hask… 26. http://blog.malde.org/index.php/2010/02/19/tools-for-pyrosequencing-analysi… 27. http://archhaskell.wordpress.com/2010/02/19/arch-haskell-news-february-2010/ 28. http://donsbot.wordpress.com/2010/02/15/migrating-from-uvector-to-vector/ 29. http://ghcsparc.blogspot.com/2010/02/memory-barriers-and-ghc-6121.html 30. http://blog.darcs.net/2010/02/darcs-weekly-news-54.html 31. http://just-bottom.blogspot.com/2010/02/behind-dungeons.html 32. http://haskellformaths.blogspot.com/2010/02/how-to-find-strong-generating-s… 33. http://www.haskell.org/mailman/listinfo/haskell 34. http://sequence.complete.org/ 35. http://planet.haskell.org/ 36. http://sequence.complete.org/node/feed 37. http://haskell.org/ 38. http://haskell.org/haskellwiki/HWN 39. http://patch-tag.com/r/jfredett/HWN2/pullrepo%20HWN2

2 1

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