- Haskell - Haskell.org

CFP: PLPV 2009
by Wouter Swierstra 09 Aug '08

09 Aug '08

Dear all, I'd like to encourage you to submit something to "Programming Languages meet Program Verification". The PC would love to see examples of verified Haskell programs and innovative uses of Haskell's type system. Wouter Call For Papers Programming Languages meets Program Verification (PLPV) 2009 http://sneezy.cs.nott.ac.uk/darcs/plpv09 January 20, 2009 Savannah, Georgia, USA Affiliated with POPL 2009. Invited Speaker: Manuel Fahndrich, Microsoft Research Overview: The goal of PLPV is to foster and stimulate research at the intersection of programming languages and program verification. Work in this area typically attempts to reduce the burden of program verification by taking advantage of particular semantic and/or structural properties of the programming language. One example are dependently typed programming languages, which leverage a language's type system to specify and check richer than usual specifications, possibly with programmer-provided proof terms. Another example are extended static checking systems like Spec#, which extends C# with pre- and postconditions along with a static verifier for these contracts. Paper Topics: We invite submissions on all aspects, both theoretical and practical, of the integration of programming language and program verification technology. By co-locating with POPL 2009, we seek to broaden the scope of PLPV. For example, submissions may have diverse foundations for verification (e.g., type-based, Hoare-logic-based), target diverse kinds of programming languages (e.g., functional, imperative, object-oriented), and apply to diverse kinds of program properties (e.g., data structure invariants, security properties, temporal protocols). Submissions: Submissions should fall into one of the following three categories: 1. Regular research papers (at most 12 pages in total length). Submissions in this category should describe new work on the above or related topics. Please note that the page limit is an upper limit - shorter submissions are encouraged. 2. Work-in-progress reports (at most 6 pages in total length). Submissions in this category should describe new work that is ongoing and may not be fully completed or evaluated. 3. Proposals for challenge problems (at most 6 pages in total length). Submissions in this category should describe an application area which the author believes is a useful benchmark or important domain for language-based program verification techniques. Submissions should be prepared with SIGPLAN two-column conference format. Submitted papers must adhere to the SIGPLAN republication policy. Concurrent submissions to other workshops, conferences, journals, or similar forums of publication are not allowed. Publication: Accepted papers will be published by the ACM and appear in the ACM digital library. Important Dates: * Electronic submission: October 8, 2008, 11:59 pm, Samoa time (UTC-11) * Notification: November 8, 2008 * Final version: November 17, 2008 * Workshop: January 20, 2009 Organizers: * Thorsten Altenkirch (University of Nottingham, UK) * Todd Millstein (University of California, Los Angeles, USA) Program Committee: * Andreas Abel (University of Munich, Germany) * Thorsten Altenkirch, co-chair (University of Nottingham, UK) * Jeremy Gibbons (University of Oxford, UK) * Robert Harper (Carnegie Mellon University, USA) * K. Rustan M. Leino (Microsoft Research, USA) * Todd Millstein , co-chair (University of California, Los Angeles, USA) * Ulf Norell (Chalmers University, Sweden) * Jeremy Siek (University of Colorado, Boulder, USA) * Benjamin Werner (Ecole Polytechnique, France) * Steve Zdancewic (University of Pennsylvania, USA)

1 0

2nd call for papers IFL 2008
by Sven-Bodo Scholz 08 Aug '08

08 Aug '08

******************************************************************************** * * CALL FOR PAPERS * * 20th International Symposium on the * Implementation and Application of Functional Languages * IFL 2008 * 10-12.Sept 2008, Hatfield UK * * http://events.sac-home.org/ifl2008/ * ******************************************************************************** The aim of the IFL symposia is to bring together researchers actively engaged in the implementation and application of functional and function-based programming languages. They provide an open forum for researchers who wish to present and discuss new ideas and concepts, work in progress, preliminary results, etc. related primarily but not exclusively to the implementation and application of functional languages. Formal proceedings are produced after the symposium, so that authors can incorporate the feedback from discussions at the symposium in their published papers. Topics ====== Topics of interest include, but are not limited to: * language concepts * type checking * compilation techniques * (abstract) interpretation * generic programming techniques * automatic program generation * array processing * concurrent/parallel programming * concurrent/parallel program execution * functional programming on embedded systems * functional programming on multi-cores/ many-cores * heap management * runtime profiling * performance measurements * debugging and tracing * (abstract) machine architectures * verification * formal aspects * tools and programming techniques Papers on applications or tools demonstrating the suitability of novel ideas in any of the above areas and contributions on related theoretical work are also welcomed. The change of the symposium name adding the term application, introduced in 2004, is to reflect the broader scope IFL has gained over the years. Paper Submissions ================= Prospective authors are encouraged to submit papers to be published in the draft proceedings and to present them at the symposium. All contributions must be written in English, conform to the Springer-Verlag LNCS series format and not exceed 16 pages. The draft proceedings will appear as a Technical Report of the School of Computer Science of the University of Hertfordshire. Attendees of IFL 2008 will have the opportunity to submit a revised version of their paper for post-symposium reviewing. As in previous years, we hope that selected papers will be published by Springer Verlag in the Lecture Notes in Computer Science (LNCS) Series. The Peter Landin Prize ====================== Since 2002 every year the Peter Landin Prize of 150 GBP is awarded to the best paper presented at the symposium, as selected by the program committee. Important Dates =============== * Submission for draft proceedings: 22. August * Early Registration: 25. August * Symposium: 10-12. September * Submission for post-refereeing: 14. November * Notification of acceptance / rejection: 23. January 2009 * Submission of a camera ready version: 20. February 2009 Contact ======= For further details see <http://events.sac-home.org/ifl2008/> or contact us by email: events <at> sac-home.org

1 0

ANN: interval and polynomial enclosure arithmetics
by Michal Konecny 07 Aug '08

07 Aug '08

Hello, I have recently released the following two Haskell packages, which model and reasonably efficiently implement exact real arithmetic: http://hackage.haskell.org/cgi-bin/hackage-scripts/package/AERN-Real implements arbitrary-precision interval arithmetic for approximating real numbers http://hackage.haskell.org/cgi-bin/hackage-scripts/package/AERN-RnToRm implements arbitrary-precision arithmetic of bounded-degree piecewise-polynomial enclosures for approximating functions of type R^n -> R^m The libraries are fairly stable and complete (AERN-Real more so than AERN-RnToRm) and members of the KEG research group at Aston University have used it for reliably solving differential equations and numerical constraint satisfaction problems. Also, the libraries are designed in multiple levels of abstraction that are clearly separated by type classes. Thanks to this it is very easy to switch between different implementations of the lower-levels, eg using a different floating point type or different representation of polynomials. There are many similarities between AERN-Real and Augustsson's numbers package. The main difference is in how the bit-size of arbitrary precision floating point numbers is determined. In numbers, the bit size is determined statically via types using a type-level encoding of natural numbers. In AERN-Real, the bit-size is part of the floating-point number, which slows the arithmetic down a bit but one can change precision dynamically. Best regards, Michal -- |-| Dr. Michal Konecny, Computer Science, Aston University |-| Room MB212D | Tel +44 121 204 3462 | Fax +44 121 204 3681 |-| http://www.aston.ac.uk/~konecnym |-| OpenPGP key http://www.aston.ac.uk/~konecnym/ki.aston

1 0

DEFUN 2008 (Developer Tracks on Functional Programming): Call for participation
by Matthew Fluet (ICFP Publicity Chair) 07 Aug '08

07 Aug '08

ACM SIGPLAN 2008 Developer Tracks on Functional Programming http://www.deinprogramm.de/defun-2008/ Victoria, BC, Canada, 25, 27 September, 2008 Held in conjunction with ICFP 2008: http://www.icfpconference.org/icfp2008/ DEFUN 2008 is the event for developers using functional languages: Recognized experts on functional programming technologies share their knowledge and professional skills in talks and tutorials in 10 exciting tracks. Find out how to best make functional programming work in your development project! Acquire new development skills! Learn about other functional languages! The DEFUN program (attached) has tracks with the following types of presentations: - Half-day general language tutorials for specific functional languages, given by recognized experts for the respective languages. - Half-day tutorials on specific techniques or the use of specific technologies in functional programming. - 45-minute "how-to" talks that provide specific information on how to solve specific problems using functional programming. These talks focus on concrete examples, but provide useful information for developers working on different projects or in different contexts. The developer tracks are complementary to ICFP itself (which is for researchers). They are anchored by CUFP, the Haskell Symposium, and the Erlang workshop. Organizers Kathleen Fisher AT&T Labs Simon Peyton Jones Microsoft Research Mike Sperber (co-chair) DeinProgramm Don Stewart (co-chair) Galois PROGRAM: Note: The sessions of a given morning or afternoon are concurrent. The markers (M1, M2, A1, A2, etc.) mark a particular session, and correspond to the designations on the registration forms. Note that the talks M5 together constitute a session. DAY 1 - 25 SEPTEMBER, 2008 MORNING SESSION M1 (Tutorial): Practical Erlang Programming Francesco Cesarini Erlang Training and Consulting M2 (Tutorial): A Gentle Introduction to Functional Information Visualization Jefferson Heard Renaissance Computing Institute, University of North Carolina M3 (Tutorial): JavaScript: from basics to building custom frameworks Sameer Sundresh and Erik Hinterbichler University of Illinois Urbana-Champaign and Pattern Insight, Inc. AFTERNOON SESSION A1 (Tutorial): Erlang DBG and the Trace Biff Tamas Nagy Erlang Training and Consulting A2 (Tutorial): Erlang QuickCheck Tutorial Thomas Arts IT University of Gothenburg and Quviq A3 (Tutorial): Practical and Portable Programming in Scheme Donovan Kolbly TippingPoint Technologies DAY 2 - 27 SEPTEMBER 2008 MORNING SESSION M4 (Tutorial): Real World Haskell Bryan O'Sullivan M5 (Talks): Ten one-liners: handling power series in Haskell Doug McIlroy Dartmouth Incremental multi-level input processing with left-fold enumerator Oleg Kiselyov How we locate wild animals with a functional program Ryan Newton MIT AFTERNOON SESSION A4 (Tutorial): Using QuickCheck and HPC - Obtaining Quality Assurance for Haskell Code Andy Gill Kansas University Koen Claessen Chalmers A5 (Tutorial): Introduction to F# Don Syme and Chris Smith Microsoft Research

1 0

Haskell Weekly News: Issue 80 - August 6, 2008
by Brent Yorgey 06 Aug '08

06 Aug '08

--------------------------------------------------------------------------- Haskell Weekly News http://sequence.complete.org/hwn/20080806 Issue 80 - August 6, 2008 --------------------------------------------------------------------------- Welcome to issue 80 of HWN, a newsletter covering developments in the [1]Haskell community. Community News Brent Yorgey (byorgey, your friendly neighborhood HWN editor) has completed a move to Philadelphia and looks forward to starting a PhD in the programming languages group at U Penn next month. Roman Cheplyaka (Feuerbach) won second prize at the 2008 [2]International Mathematics Competition! Announcements prof2dot, version 0.4.1. Gregory Wright [3]announced the release of prof2dot, a graphical profiling tool for use with GHC. prof2dot is a filter that takes the profiling output generated by running a GHC-compiled program with the "+RTS -pix -RTS", option and turns it into a graphviz dot file. GHC switching to git. Simon Marlow [4]announced that the GHC team has made the decision to switch the version control system hosting the GHC repository from darcs to git. Haddock 2.2.1. David Waern [5]announced the release of version 2.2.1 of Haddock, the Haskell documentation tool. Haskore tutorial. jinjing is creating [6]a Haskore tutorial while learning it. Suggestions and corrections are welcome. Hoogle 4 beta. Neil Mitchell [7]announced the availability of beta versions of Hoogle 4, both a [8]web client and [9]command-line version. Testing and [10]feedback welcome! Design your own xmonad shirt. David Lazar has prepared a design on [11]spreadshirt under Designs > Computer > Programming. Choose the color and other formatting and get your very own custom xmonad shirt! Google Summer of Code Progress updates from participants in the 2008 [12]Google Summer of Code. Generic tries. Jamie Brandon is working on a library for efficient maps using generalized tries. This week, he has worked on implementing AVL trees and has created several [13]more [14]benchmarks. Hoogle 4. Neil Mitchell (ndm) is working on [15]Hoogle 4. [16]This week, he finished up type search, which now gives much better results than Hoogle 3. He also [17]released a [18]public beta version of the command-line interface. [19]Bug reports or feature requests are welcome. DPH physics engine. Roman Cheplyaka (Feuerbach) is working on a [20]physics engine using [21]Data Parallel Haskell. [22]Last week, he won second prize at the 2008 International Mathematics Competition; while he was away he also found time to read several papers on broad phase collision detection and to begin thinking about [23]general convex polyhedra. GHC plugins. Max Bolingbroke is working on dynamically loaded plugins for GHC. Cabal dependency framework. Andrea Vezzosi (Saizan) is working on a [24]make-like dependency analysis framework for Cabal. Language.C. Benedikt Huber (visq) is [25]working on Language.C, a standalone parser/pretty printer library for C99. GHC API. Thomas Schilling (nominolo) is working on [26]improvements to the GHC API. Discussion poll: how can we help you contribute to darcs?. Eric Kow (kowey) [27]asked how the darcs team could better encourage more people to contribute, precipitating a long and productive discussion with many good suggestions. Jobs Lectureship in Functional Programming, Nottingham. Graham Hutton [28]announced an opening for a Lecturer (Assistant Professor) in the Functional Programming Lab in Nottingham, a recently formed research group that comprises Thorsten Altenkirch, Graham Hutton, Henrik Nilsson, four research fellows, and eleven PhD students. Applications from the Haskell community are encouraged! The closing date for applications is Friday, 15th August 2008. Blog noise [29]Haskell news from the [30]blogosphere. * Roman Cheplyaka: [31]Physics and polyhedra. * Chris Done: [32]Kibro: Haskell, lighttpd and fastcgi. * Neil Mitchell: [33]Hoogle 4.0 web client preview. * >>> Sven Heyll: [34]Lazy Evaluation (there be dragons and basement cats). * Clifford Beshers: [35]Two-dimensional zip. * Brent Yorgey: [36]Philadelphia!. * Luke Plant: [37]Haskell API docs suck. A lot.. * Neil Mitchell: [38]Hoogle 4.0 release (beta, command line). * Mikael Johansson (Syzygy-): [39]The end of the line. * Jamie Brandon: [40]Yet more mini benchmarks. * Douglas M. Auclair (geophf): [41]Combinators in Haskell. * Holumbus: [42]Search Packages. * Douglas M. Auclair (geophf): [43]How do I get better?. * Neil Mitchell: [44]GSoC Hoogle: Week 10. * Dan Piponi (sigfpe): [45]Hopf Algebra = Group + Monad. * >>> Ayumilove: [46]Haskell Programming Tutorial Part 4. * Douglas M. Auclair (geophf): [47]Trivial Monad solutions. * Douglas M. Auclair (geophf): [48]Trivial Monad solutions (cont.). * Douglas M. Auclair (geophf): [49]Orators' exercise. * Roman Cheplyaka: [50]Status report: week 9-10. * Matthew Sackman: [51]Reflections on the ICFP Programming Contest 2008. * Jamie Brandon: [52]More benchmarks. * Chris Done: [53]GHCi on Acid (GOA). * Audrey Tang: [54]Pugs now builds again from SVN.. * "FP Lunch": [55]An ad-hoc approach to productive definitions. * Ketil Malde: [56]A plan for Bloom filters. * Audrey Tang: [57]Pugs.hs is back.. * Holumbus: [58]OpenSearch Available Again. Quotes of the Week * shepheb: don't forget YMCArray * matthew-_: you know I increasingly think I'm a very bad haskell programmer - I spend all my time programming at the type level, which is basically untyped. So I just write untyped programs, that happen to run at compile time. * SyntaxNinja: just picture monads as tiny, silly, luminous, and devious sprites who fly around your haskell code carrying state from one piece of code to another. I don't think that'll help, but it can't hurt. * poetix: Avoiding lambdas is pointless <-- *groan* * kzm: My program contains a bug. How ungrateful, after all I've done for it. * sw17ch: FunPtrs do not live up to their name About the Haskell Weekly News New editions are posted to [59]the Haskell mailing list as well as to [60]the Haskell Sequence and [61]Planet Haskell. [62]RSS is also available, and headlines appear on [63]haskell.org. Headlines are available as [64]PDF. To help create new editions of this newsletter, please see the information on [65]how to contribute. Send stories to byorgey at cis dot upenn dot edu. The darcs repository is available at darcs get [66]http://code.haskell.org/~byorgey/code/hwn/ . References 1. http://haskell.org/ 2. http://imc-math.org/ 3. http://article.gmane.org/gmane.comp.lang.haskell.glasgow.user/14821 4. http://article.gmane.org/gmane.comp.lang.haskell.glasgow.user/14819 5. http://www.haskell.org//pipermail/haskell-cafe/2008-August/045791.html 6. http://article.gmane.org/gmane.comp.lang.haskell.cafe/42861 7. http://neilmitchell.blogspot.com/2008/08/hoogle-40-web-client-preview.html 8. http://haskell.org/hoogle/beta/ 9. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/hoogle 10. http://code.google.com/p/ndmitchell/issues/list 11. http://spreadshirt.com/ 12. http://hackage.haskell.org/trac/summer-of-code/wiki/SoC2008 13. http://jamiiecb.blogspot.com/2008/08/more-benchmarks.html 14. http://jamiiecb.blogspot.com/2008/08/yet-more-mini-benchmarks.html 15. http://code.haskell.org/hoogle/ 16. http://neilmitchell.blogspot.com/2008/08/gsoc-hoogle-week-10.html 17. http://neilmitchell.blogspot.com/2008/08/hoogle-40-release-beta-command-lin… 18. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/hoogle 19. http://code.google.com/p/ndmitchell/issues/list 20. http://haskell.org/haskellwiki/Hpysics 21. http://www.haskell.org/haskellwiki/GHC/Data_Parallel_Haskell 22. http://physics-dph.blogspot.com/2008/08/status-report-week-9-10.html 23. http://physics-dph.blogspot.com/2008/08/physics-and-polyhedra.html 24. http://code.haskell.org/~Saizan/cabal 25. http://www.sivity.net/projects/language.c/wiki/ 26. http://hackage.haskell.org/trac/ghc/wiki/GhcApiStatus 27. http://www.haskell.org//pipermail/haskell-cafe/2008-August/045701.html 28. http://article.gmane.org/gmane.comp.lang.haskell.general/16365 29. http://planet.haskell.org/ 30. http://haskell.org/haskellwiki/Blog_articles 31. http://physics-dph.blogspot.com/2008/08/physics-and-polyhedra.html 32. http://chrisdone.com/blog/2008/08/06/kibro-haskell-lighttpd-and-fastcgi/ 33. http://neilmitchell.blogspot.com/2008/08/hoogle-40-web-client-preview.html 34. http://sheyll.blogspot.com/2008/08/lazy-evaluation-there-be-dragons-and.html 35. http://cliffordbeshers.blogspot.com/2008/08/two-dimensional-zip.html 36. http://byorgey.wordpress.com/2008/08/04/philadelphia/ 37. http://lukeplant.me.uk/blog.php?id=1107301692 38. http://neilmitchell.blogspot.com/2008/08/hoogle-40-release-beta-command-lin… 39. http://blog.mikael.johanssons.org/archive/2008/08/the-end-of-the-line/ 40. http://jamiiecb.blogspot.com/2008/08/yet-more-mini-benchmarks.html 41. http://logicaltypes.blogspot.com/2008/08/combinators-in-haskell.html 42. http://holumbus.fh-wedel.de/blog/?p=14 43. http://logicaltypes.blogspot.com/2008/08/how-do-i-get-better.html 44. http://neilmitchell.blogspot.com/2008/08/gsoc-hoogle-week-10.html 45. http://sigfpe.blogspot.com/2008/08/hopf-algebra-group-monad.html 46. http://www.5min.com/Video/Ayumilove-Haskell-Programming-Tutorial-Part-4-328… 47. http://logicaltypes.blogspot.com/2008/05/trivial-monad-solutions.html 48. http://logicaltypes.blogspot.com/2008/05/trivial-monad-solutions-cont.html 49. http://logicaltypes.blogspot.com/2008/05/orators-exercise.html 50. http://physics-dph.blogspot.com/2008/08/status-report-week-9-10.html 51. http://www.wellquite.org/icfp_contest_2008_reflections.html 52. http://jamiiecb.blogspot.com/2008/08/more-benchmarks.html 53. http://chrisdone.com/blog/2008/08/01/ghci-on-acid-goa/ 54. http://pugs.blogs.com/pugs/2008/08/pugs-now-builds.html 55. http://sneezy.cs.nott.ac.uk/fplunch/weblog/?p=109 56. http://blog.malde.org/index.php/2008/07/31/a-plan-for-bloom-filters/ 57. http://pugs.blogs.com/pugs/2008/07/pugshs-is-back.html 58. http://holumbus.fh-wedel.de/blog/?p=13 59. http://www.haskell.org/mailman/listinfo/haskell 60. http://sequence.complete.org/ 61. http://planet.haskell.org/ 62. http://sequence.complete.org/node/feed 63. http://haskell.org/ 64. http://code.haskell.org/~byorgey/code/hwn/archives/20080806.pdf 65. http://haskell.org/haskellwiki/HWN 66. http://code.haskell.org/~byorgey/code/hwn/

1 0

Lectureship in Functional Programming, Nottingham
by Graham Hutton 05 Aug '08

05 Aug '08

Dear all, We are currently seeking a new Lecturer (Assistant Professor) in the Functional Programming Lab in Nottingham, a recently formed research group that comprises Thorsten Altenkirch, Graham Hutton, Henrik Nilsson, four research fellows, and eleven PhD students. Applications from the Haskell community are encouraged! The closing date for applications is *** Friday 15th August 2008 *** Best wishes, Graham +-----------------------------------------------------------------+ UNIVERSITY OF NOTTINGHAM School of Computer Science Lectureship in Functional Programming Applications are invited for the above post in the School of Computer Science. The successful candidate will be expected to participate in the School's teaching activities and contribute to research in the recently formed Functional Programming Laboratory. Candidates must hold a PhD or equivalent in a relevant subject, have an excellent publication record and the ability to teach at undergraduate and postgraduate level. It is desirable that candidates have a track record of external research funding, collaboration across disciplines, experience of different types of assessment and higher education quality assurance. They should also have the ability to play a role in the routine running of the School of Computer Science. The Functional Programming Laboratory covers a broad range of topics in the theory, practice, and implementation of functional programming languages. Current interests include type theory, language design, program semantics, program verification, modelling and simulation, category theory, programming tools, and quantum programming. Applications are welcome from any area that complements existing research strengths in the laboratory. Informal enquiries may be addressed to Dr T Altenkirch, tel: 0115 846 6516, Email: Thorsten.Altenkirch(a)Nottingham.ac.uk or Dr G Hutton, tel: 0115 951 4220, Email: Graham.M.Hutton(a)Nottingham.ac.uk. School of Computer Science : http://nottingham.ac.uk/cs Functional programming lab : http://sneezy.cs.nott.ac.uk/joomla/ How to apply : http://jobs.nottingham.ac.uk/CJ24461S Closing date : 15th August 2008 +-----------------------------------------------------------------+ | Dr Graham Hutton Email : gmh(a)cs.nott.ac.uk | | Functional Programming Lab | | School of Computer Science Web : www.cs.nott.ac.uk/~gmh | | University of Nottingham | | Jubilee Campus, Wollaton Road Phone : +44 (0)115 951 4220 | | Nottingham NG8 1BB, UK | +-----------------------------------------------------------------+ This message has been checked for viruses but the contents of an attachment may still contain software viruses, which could damage your computer system: you are advised to perform your own checks. Email communications with the University of Nottingham may be monitored as permitted by UK legislation.

1 0

ICFP08 Call for Participation
by Matthew Fluet (ICFP Publicity Chair) 04 Aug '08

04 Aug '08

===================================================================== Call for Participation The 13th ACM SIGPLAN International Conference on Functional Programming (ICFP 2008) http://www.icfpconference.org/icfp2008 Victoria, BC, Canada, 22-24 September 2008 ===================================================================== ICFP 2008 provides a forum for researchers and developers to hear about the latest work on the design, implementations, principles, and uses of functional programming. The conference covers the entire spectrum of work, from practice to theory, including its peripheries. Preliminary program: * http://www.icfpconference.org/icfp2008/schedule.html * Invited speakers: + Butler Lampson, Microsoft Research; Lazy and Speculative Execution in Computer Systems + Olivier Danvy, University of Aarhus; Defunctionalized Interpreters for Higher-Order Languages + Mark Jones, Portland State University; Polymorphism and Page Tables -- Systems Programming From a Functional Programmer's Perspective Schedule including related workshops: * Sep 20: ACM SIGPLAN Workshop on Generic Programming * Sep 20: ACM SIGPLAN Workshop on Mechanizing Metatheory * Sep 20: ACM SIGPLAN Workshop on Scheme and Functional Programming * Sep 21: ACM SIGPLAN Workshop on ML * Sep 21: ACM SIGPLAN Functional and Declarative Programming in Education * Sep 22-24: ICFP08 * Sep 25: ACM SIGPLAN Haskell Symposium * Sep 25: Functional Programming Developer Tracks * Sep 26: Commercial Users of Functional Programming * Sep 27: ACM SIGPLAN Erlang Workshop * Sep 27: Functional Programming Developer Tracks Registration information: * http://www.regmaster.com/conf/icfp2008.html * Early registration deadline: August 20, 2008 Conference hotel accommodation information: * http://www.deltahotels.com/groups/online/VIC/acm.php * Conference rate deadline: August 18, 2008 * Wiki page to coordinate room-sharing: http://www.icfpconference.org/pmwiki/pmwiki.php?n=Main.ICFP08RoomShare Conference organizers: * General Chair: James Hook (Portland State University) * Program Chair: Peter Thiemann (Universität Freiburg) * Local Arrangements Chair: George Tzanetakis (University of Victoria) * Workshop Co-Chairs: Michael Sperber (DeinProgramm) and Graham Hutton (University of Nottingham) * Programming Contest Co-Chairs: John Reppy (University of Chicago) and Tim Sheard (Portland State University) * Publicity Chair: Matthew Fluet (Toyota Technological Institute at Chicago)

1 0

WLPE'08 - Call for Papers
by WLPE-08 04 Aug '08

04 Aug '08

WLPE'08 -- Call for Papers The 18th Workshop on Logic-based methods in Programming Environments http://www.clip.dia.fi.upm.es/Conferences/WLPE08/ December 9th-13th 2008, Udine, Italy (Satellite Workshop of ICLP 2008) The 18th Workshop on Logic-based methods in Programming Environments will take place in Udine (Italy), as a satellite workshop of ICLP 2008, the 24th International Conference on Logic Programming. This workshop will continue the series of successful international workshops on logic programming environments held in Ohio, USA (1989), Eilat, Israel (1990), Paris, France (1991), Washington D.C., USA (1992), Vancouver, Canada (1993), Santa Margherita Ligure, Italy (1994), Portland, USA (1995), Leuven, Belgium (1997), Las Cruces, USA (1999), Paphos, Cyprus (2001), Copenhagen, Denmark (2002), Mumbai, India (2003), Saint Malo, France (2004), Sitges (Barcelona), Spain (2005), Seattle, USA (2006) and Porto, Portugal (2007). More information about the series of WLPE workshops can be found at http://www.cs.usask.ca/projects/envlop/WLPE/ The workshop aims at providing an informal meeting for researchers working on logic-based methods and tools which support program development and analysis. This year, we plan to continue and consolidate the shift in focus from environmental tools for logic programming to logic-based environmental tools for programming in general, so that this workshop can be possibly interesting for a wider scientific community. In addition to papers describing more conceptual and theoretical work, the call for papers will solicit papers describing the implementation of, and the experience with, such tools. Areas particularly relevant to the workshop include (but are not limited to): - static and dynamic analysis - debugging and testing - program verification and validation - code generation from specifications - termination and non-termination analysis - reasoning on occurs-check freeness and determinacy - profiling and performance analysis - type- and mode analysis - module systems - optimization tools Authors who are interested in taking part in the workshop, but are unsure if their work falls within its scope, are invited to contact the organizers and will be given suitable advice. Workshop Organizers ------------------- Puri Arenas Facultad de Informatica Universidad Complutense de Madrid 28040-Madrid, Spain Email: puri(a)sip.ucm.es Phone: +34 91 394 76 33 Fax: +34 91 336 50 18 http://www.clip.dia.fi.upm.es/puri Damiano Zanardini Facultad de Informatica Universidad Politecnica de Madrid 28660-Boadilla del Monte, Madrid, Spain Email: damiano(a)clip.dia.fi.upm.es Phone: +34 91 336 74 48 Fax: +34 91 394 75 29 http://www.clip.dia.fi.upm.es/damiano Program Committee ----------------- - Puri Arenas, Universidad Complutense de Madrid (ws co-chair) - Michael Codish, Ben-Gurion University of the Negev - Roberta Gori, Universita di Pisa - Arnaud Gotlieb, IRISA/CNRS UMR 6074 - Patricia Hill, University of Leeds - Jacob Howe, City University, London - Sabina Rossi, Universita Ca' Foscari di Venezia - Tom Schrijvers, K.U.Leuven - Alexander Serebrenik, Technische Universiteit Eindhoven - Wim Vanhoof, University of Namur - German Vidal, Universidad Politecnica de Valencia - Damiano Zanardini, Universidad Politecnica de Madrid (ws co-chair) Important Dates --------------- Submission: September 15th, 2008 (23:59:59 Samoa time (GMT -11)) Notification: October 8th, 2008 Camera-ready: October 26th, 2008 Workshop: TBA (probably Dec 9th or Dec 13th, half-day) Submission ---------- Papers should be submitted to http://www.easychair.org/conferences/?conf=wlpe2008 The length of papers can range from 2 to 15 pages in LNCS style. Informal proceedings will be distributed at the workshop. After the workshop, proceedings will be available on-line in the Computing Research Repository (CoRR). In addition to papers describing conceptual and theoretical work, papers describing the implementation of and the experience with tools are welcome.

1 0

ANN: Haddock version 2.2.1
by David Waern 04 Aug '08

04 Aug '08

-------------------------------------------- -- Haddock 2.2.1 -------------------------------------------- A new version of Haddock, the Haskell documentation tool, is out. The homepage will be updated soon, containing a windows binary release. Please use the bug tracker to submit bug reports and feature requests. -------------------------------------------- -- Changes since version 2.1.0 -------------------------------------------- * Support for GHC 6.8.3 * The Hoogle backend is back * Show associated types in the documentation for class declarations * Show type family declarations * Show type equality predicates * Major bug fixes (#1 and #44) * It is no longer required to specify the path to GHC's lib dir * Remove unnecessary parenthesis in type signatures * Minor bug fixes -------------------------------------------- -- Links -------------------------------------------- Homepage: http://www.haskell.org/haddock Hackage page: http://hackage.haskell.org/cgi-bin/hackage-scripts/package/haddock-2.2.1 Bugtracker and wiki: http://trac.haskell.org/haddock Mailing list: haskelldoc(a)haskell.org Code repository: http://code.haskell.org/haddock -------------------------------------------- -- Details -------------------------------------------- This release contains experimental and incomplete support for GHC's Type Families extension. We have basic support for rendering of type family declarations and associated types in the documentation. Type/Data instances are not shown in the documentation at all, and associated types are not shown for class instances. Feedback is appreciated, especially for ideas of how to render type family instances. Use either the bugtracker, or send a mail to the mailing list. We have also got the Hoogle backend back, thanks to Neil Mitchell! The plan is to be compatible with the upcoming pre-release of Hoogle 4, which is being developed by Neil as a Summer of Code project. -------------------------------------------- -- Get Involved -------------------------------------------- Haddock is an important project, as it is part of the Haskell infrastructure core. The code base is gradually becoming easier to read, better documented and more stable, but more work is needed. To get involved, start by grabbing the code at http://code.haskell.org/haddock then take a look at the bug and feature tracker at http://trac.haskell.org/haddock for things to work on. David

1 0

Haskell Weekly News: Issue 79 - July 31, 2008
by Brent Yorgey 31 Jul '08

31 Jul '08

--------------------------------------------------------------------------- Haskell Weekly News http://sequence.complete.org/hwn/20080731 Issue 79 - July 31, 2008 --------------------------------------------------------------------------- Welcome to issue 79 of HWN, a newsletter covering developments in the [1]Haskell community. Apologies for the slightly late issue this week, attributable to a combination of having to transfer all my files onto a different computer (my former employer had the audacity to request the return of their laptop, now that I no longer work for them) and packing up to move to Philadelphia on Saturday. At any rate, some exciting news this week, including #haskell passing the 500 mark and a new release of Yi -- enjoy! Community News Correction from last week's issue: congratulations were bestowed upon a certain "Dr. Johansson" who does not, in fact, exist, having been replaced almost a year ago by the happily married but otherwise identical Dr. Mikael Vejdemo-Johansson. Announcements A fancier Get monad or two (a la binary and binary-strict). Chris Kuklewicz [2]announced two new Get-like monads for binary data, with a number of additional features. #haskell irc channel reaches 500 users. Don Stewart [3]announced that 6 1/2 years after its inception, under the guiding hand of Shae Erisson (aka shapr), the [4]#haskell IRC channel on freenode has finally reached 500 users! This puts the channel at around the 12th largest (and mostest friendliest) community of the 7000 freenode channels. RandomDotOrg-0.1. Austin Seipp [5]announced the release of the [6]RandomDotOrg package, an interface to the [7]random.org random number generator. Mueval 0.3.1, 0.4, 0.4.5, 0.4.6, 0.5. Gwern Branwen [8]announced a number of releases of [9]Mueval, a package allowing dynamic runtime evaluation of Haskell expressions. As far as anyone knows, all possible security holes have been plugged, and it's missing only a few features before it can replace hs-plugins as lambdabot's evaluation mechanism. Need functional programmers for debugging study. Chris Bogart [10]asked for functional programmers currently developing or maintaining a medium to large-sized program, willing to let him look over their shoulder while they do debugging or coding on the project. Yi 0.4.1. Jean-Philippe Bernardy [11]announced the 0.4.1 release of the Yi editor, a text editor written and extensible in Haskell. The long-term goal of the Yi project is to provide the editor of choice for Haskell programmers. Hipmunk 0.1 and HipmunkPlayground 0.1. Felipe Lessa [12]announced the availability of [13]Hipmunk, containing bindings for the [14]Chipmunk 2D physics engine, and [15]Hipmunk Playground, where you may see some of Hipmunk's features in action. The bindings are low-level but try to hide most of the nasty details of the C code. faster BLAS bindings. Patrick Perry [16]announced that he has [17]largely closed the C performance gap with his recent [18]Haskell BLAS bindings. Expect a new release shortly. FPers in Northwest Arkansas?. Nathan Bloomfield [19]is wondering if there are any Haskellers in the NW Arkansas region to start a functional programming interest group in the area. Italian Haskellers Summer Meeting. Pasqualino 'Titto' Assini [20]announced something about a summer meeting for Italian Haskellers. If you would like to know precisely what it was that was announced, I suggest you learn Italian. InterleavableIO. Marco Tulio Gontijo e Silva [21]announced a package, [22]interleavableIO, based on Jules Bean (quicksilver)'s [23]monadic tunneling code. Google Summer of Code Progress updates from participants in the 2008 [24]Google Summer of Code. Hoogle 4. Neil Mitchell (ndm) is working on [25]Hoogle 4. [26]This week, he rewrote type search: after three days of coding, it required only a few minor debugging tweaks to get it to work. Haskell FTW! Expect a public beta of the command line interface next week. Generic tries. Jamie Brandon is working on a library for efficient maps using generalized tries. [27]This week, he has finally got everything up and running bug free on the new API, except the internals are still using association lists instead of AVL trees. He also exhibits a promising benchmark. DPH physics engine. Roman Cheplyaka (Feuerbach) is working on a [28]physics engine using [29]Data Parallel Haskell. GHC plugins. Max Bolingbroke is working on dynamically loaded plugins for GHC. Cabal dependency framework. Andrea Vezzosi (Saizan) is working on a [30]make-like dependency analysis framework for Cabal. Language.C. Benedikt Huber (visq) is [31]working on Language.C, a standalone parser/pretty printer library for C99. GHC API. Thomas Schilling (nominolo) is working on [32]improvements to the GHC API. Discussion Build system woes. Roman Leshchinskiy began a [33]discussion on Cabal and GHC's new build system, with some suggestions for improving the process. Syb Renovations? Issues with Data.Generics. Claus Reinke [34]brought up a number of issues with Data.Generics, with suggestions for improvement. A question about mfix. Wei Hu [35]asked a question about the definition and semantics of mfix, the monadic fix operation. Using fundeps to resolve polymorphic types to concrete types. Bryan Donlan [36]asked a question about the interaction between functional dependencies and type checking, with a rather subtle answer. Best book/tutorial on category theory and its applications. fero [37]asked for recommendations on a book about category theory. Loss of humour. Andrew Coppin [38]laments the loss of some of Haskell's humorous heritage. Blog noise [39]Haskell news from the [40]blogosphere. * Ketil Malde: [41]Updates and other trivialities. * Ulisses Costa: [42]Lex/yacc. A short lex/yacc tutorial. * Luke Plant: [43]Haskell Regex replace. Luke wonders if anyone knows how to do regex replace in Haskell. * Eric Kow (kowey): [44]simple random numbers in Haskell. Eric writes a simple tutorial for the System.Random module. * Jamie Brandon: [45]Week 7 progress (respect my formatting damnit). An update on Jamie's Google Summer of Code project. * Tupil: [46]Formlets in Haskell. * John Goerzen (CosmicRay): [47]Seen in the Haskell wiki. * Ulisses Costa: [48]Type inference. * Dennis Bueno: [49]ICFP Contest 2008 -- The One Liners. Dennis describes his experiences participating in this year's ICFP Programming Contest. * Magnus Therning: [50]More prefixes. * Don Stewart (dons): [51]Haskell: Batteries Included. * >>> Harry Pierson: [52]Monadic Philosophy Part 2 - The LINQ Monad. * >>> Harry Pierson: [53]Monadic Philosophy. Harry begins a series explaining his journey through understanding monads. * Ulisses Costa: [54]Pointfree Calculator. * Eric Kow (kowey): [55]pandoc gets mediawiki support. * Dan Piponi (sigfpe): [56]The Fibonacci Numbers, Coalgebraicaly. * Twan van Laarhoven: [57]Solving nonograms. * >>> Ayumilove: [58]Haskell Programming Tutorial Part 2A. * >>> Ayumilove: [59]Haskell Programming Tutorial Part 2B. * >>> Ayumilove: [60]Haskell Programming Tutorial Part 3. * >>> Darren Moffat: [61]T5120 donated to Haskell Community. Sun's donation inspires Darren to get back into Haskell and maybe contribute some code to GHC again, like he did back when he was a student at Glasgow. * Mikael Vejdemo-Johansson (DrSyzygy): [62]Blackbox computing of A-infinity algebras. The last results from Mikael's thesis have made it into article form, and are [63]available on the arXiv. * John Goerzen (CosmicRay): [64]OSCon Update. * Real-World Haskell: [65]Beta availability hiccups. * John Goerzen (CosmicRay): [66]First 2 Days of OSCon. John reports live from OSCon. * Neil Mitchell: [67]GSoC Hoogle: Week 9. An update on Neil's Google Summer of Code project. * Patrick Perry: [68]Addressing Haskell BLAS Performance Issues. Patrick's Haskell BLAS bindings are now significantly sped up, and he explains what made the difference. * Arnar Birgisson (Arnar): [69]Parsing annotated postfix operators with Haskell. Arnar exhibits a neat pattern for constructing certain types of parsers, which makes essential use of first-class functions. Quotes of the Week * mauke: a hint to beginners: typing 'fix error' in ghci does not have the intended effect. * mauke: Hungarian Notation constructs a type system in the mind of the programmer. * rwbarton: I was hoping for a pile of Functors. * Baughn: [on lambdabot] Yes, PMS is a real issue. Poor memory size, that is. * Cale: There should be a website called "Static Equilibrium or Not" where you rate pictures according to whether you think the depicted objects are in static equilibrium. * sahko: xmonad is an ancient african word for "you dont need to use a mouse fool". * doidydoidy: Category theory is exactly like a comic book alternative universe, except they use the prefix "co-" instead of "bizarro". About the Haskell Weekly News New editions are posted to [70]the Haskell mailing list as well as to [71]the Haskell Sequence and [72]Planet Haskell. [73]RSS is also available, and headlines appear on [74]haskell.org. Headlines are available as [75]PDF. To help create new editions of this newsletter, please see the information on [76]how to contribute. Send stories to byorgey at seas dot upenn dot edu. The darcs repository is available at darcs get [77]http://code.haskell.org/~byorgey/code/hwn/ . References 1. http://haskell.org/ 2. http://article.gmane.org/gmane.comp.lang.haskell.libraries/9691 3. http://article.gmane.org/gmane.comp.lang.haskell.cafe/42671 4. http://haskell.org/haskellwiki/IRC_channel 5. http://article.gmane.org/gmane.comp.lang.haskell.cafe/42643 6. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/RandomDotOrg 7. http://random.org/ 8. http://article.gmane.org/gmane.comp.lang.haskell.cafe/42629 9. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/mueval 10. http://article.gmane.org/gmane.comp.lang.haskell.general/16360 11. http://article.gmane.org/gmane.comp.lang.haskell.cafe/42582 12. http://article.gmane.org/gmane.comp.lang.haskell.general/16355 13. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/Hipmunk 14. http://wiki.slembcke.net/main/published/Chipmunk 15. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/HipmunkPlayground 16. http://article.gmane.org/gmane.comp.lang.haskell.cafe/42534 17. http://quantile95.com/2008/07/24/addressing-haskell-blas-performance-issues/ 18. http://www-stat.stanford.edu/~patperry/code/blas/ 19. http://article.gmane.org/gmane.comp.lang.haskell.cafe/42548 20. http://article.gmane.org/gmane.comp.lang.haskell.cafe/42545 21. http://article.gmane.org/gmane.comp.lang.haskell.cafe/42502 22. http://hackage.haskell.org/cgi-bin/hackage-scripts/package/interleavableIO 23. http://www.haskell.org/pipermail/haskell-cafe/2007-July/028501.html 24. http://hackage.haskell.org/trac/summer-of-code/wiki/SoC2008 25. http://code.haskell.org/hoogle/ 26. http://neilmitchell.blogspot.com/2008/07/gsoc-hoogle-week-9.html 27. http://jamiiecb.blogspot.com/2008/07/week-7-progress-respect-my-formatting.… 28. http://haskell.org/haskellwiki/Hpysics 29. http://www.haskell.org/haskellwiki/GHC/Data_Parallel_Haskell 30. http://code.haskell.org/~Saizan/cabal 31. http://www.sivity.net/projects/language.c/wiki/ 32. http://hackage.haskell.org/trac/ghc/wiki/GhcApiStatus 33. http://thread.gmane.org/gmane.comp.lang.haskell.glasgow.user/14800 34. http://thread.gmane.org/gmane.comp.lang.haskell.libraries/9672 35. http://thread.gmane.org/gmane.comp.lang.haskell.cafe/42677 36. http://thread.gmane.org/gmane.comp.lang.haskell.cafe/42639 37. http://thread.gmane.org/gmane.comp.lang.haskell.cafe/42616 38. http://thread.gmane.org/gmane.comp.lang.haskell.cafe/42510 39. http://planet.haskell.org/ 40. http://haskell.org/haskellwiki/Blog_articles 41. http://blog.malde.org/index.php/2008/07/31/updates-and-other-trivialities/ 42. http://caos.di.uminho.pt/~ulisses/blog/2008/07/31/lexyacc/ 43. http://lukeplant.me.uk/blog.php?id=1107301690 44. http://koweycode.blogspot.com/2008/07/simple-random-numbers-in-haskell.html 45. http://jamiiecb.blogspot.com/2008/07/week-7-progress-respect-my-formatting.… 46. http://blog.tupil.com/formlets-in-haskell/ 47. http://changelog.complete.org/posts/736-Seen-in-the-Haskell-wiki.html 48. http://caos.di.uminho.pt/~ulisses/blog/2008/07/30/type-inference/ 49. http://obfuscatedcode.wordpress.com/2008/07/30/icfp-contest-2008-the-one-li… 50. http://therning.org/magnus/archives/355 51. http://www.cse.unsw.edu.au/~dons/blog/2008/07/29#batteries 52. http://devhawk.net/2008/07/30/Monadic+Philosophy+Part+2+The+LINQ+Monad.aspx 53. http://devhawk.net/2008/07/30/Monadic+Philosophy.aspx 54. http://caos.di.uminho.pt/~ulisses/blog/2008/07/29/pointfree-calculator/ 55. http://koweycode.blogspot.com/2008/07/pandoc-gets-mediawiki-support.html 56. http://sigfpe.blogspot.com/2008/07/fibonacci-numbers-coalgebraicaly.html 57. http://twan.home.fmf.nl/blog/haskell/Nonograms.details 58. http://www.5min.com/Video/-Ayumilove-Haskell-Programming-Tutorial-Part-2-A-… 59. http://www.5min.com/Video/Ayumilove-Haskell-Programming-Tutorial-Part-2-B-3… 60. http://www.5min.com/Video/Ayumilove-Haskell-Programming-Tutorial-Part-3-318… 61. http://blogs.sun.com/darren/entry/t5120_donated_to_haskell_community 62. http://blog.mikael.johanssons.org/archive/2008/07/blackbox-computing-of-a-i… 63. http://arxiv.org/abs/0807.3869 64. http://changelog.complete.org/posts/733-OSCon-Update.html 65. http://www.realworldhaskell.org/blog/2008/07/16/beta-availability-hiccups/ 66. http://changelog.complete.org/posts/732-First-2-Days-of-OSCon.html 67. http://neilmitchell.blogspot.com/2008/07/gsoc-hoogle-week-9.html 68. http://quantile95.com/2008/07/24/addressing-haskell-blas-performance-issues/ 69. http://www.hvergi.net/2008/07/parsing-annotated-postfix-operators-with-hask… 70. http://www.haskell.org/mailman/listinfo/haskell 71. http://sequence.complete.org/ 72. http://planet.haskell.org/ 73. http://sequence.complete.org/node/feed 74. http://haskell.org/ 75. http://code.haskell.org/~byorgey/code/hwn/archives/20080731.pdf 76. http://haskell.org/haskellwiki/HWN 77. http://code.haskell.org/~byorgey/code/hwn/

1 0