- Haskell - Haskell.org

ANNOUNCE: husk-scheme - a Scheme extension language for Haskell
by Justin Ethier 07 Jul '12

07 Jul '12

I would like to announce the release of husk-scheme 3.5.6, a Scheme extension language and stand-alone interpreter/compiler that I have been developing. husk implements most of the Scheme R5RS standard including advanced features such as continuations, hygienic macros, and a full numeric tower. husk has been an ongoing project for over a year now, but this is the first announcement on the mailing list so feedback is very welcome. Hackage: http://hackage.haskell.org/package/husk-scheme Homepage: http://justinethier.github.com/husk-scheme Scheme Language Docs: http://schemers.org/Documents/Standards/R5RS/HTML/ Change Log: https://github.com/justinethier/husk-scheme/blob/master/ChangeLog.markdown Issues and Enhancement Requests: https://github.com/justinethier/husk-scheme/issues Thanks, Justin

1 0

CFP: First Workshop on Programming the Semantic Web - PSW 2012
by Janis Voigtländer 06 Jul '12

06 Jul '12

[CALL FOR PAPERS] First Workshop on Programming the Semantic Web - PSW'12 co-located with ISWC'12, 11th International Semantic Web Conference (ISWC 2012), 11-15 November, Boston, USA Workshop website: http://www.inf.puc-rio.br/~psw12 Contact: psw12(a)inf.puc-rio.br IMPORTANT DATES =============== Abstract submission deadline: *July 24, 2012* Paper submission deadline: *July 31, 2012* Notification of acceptance: August 21, 2012 Camera ready papers: September 10, 2012 Workshop date: November 11 or 12, 2012 GOALS AND TOPICS ================ The Web of Data is growing at an enormous pace. However, the development of dedicated software applications, capable to deal efficiently in information-rich spaces, of which the Semantic Web is one dimension, is not yet mainstream. Reasons for that include one (or more) of the following research issues: lack of integrated development environments (IDEs, such as Visual Studio and Eclipse), poor programming language support, lack of standard testbeds and/or benchmarks, inadequate training, and perhaps the need for curricula revision. Properly addressing these issues requires interdisciplinary skills, and the collaboration between academia and industry. The First Workshop on Programming the Semantic Web invites submissions that explore the gap between today's data management challenges, particularly the ones related to dealing with large amounts of semantically rich data, and the lack of adequate tools. We are looking for contributions that discuss, promote and further advance the programming facet of the Semantic Web, including the development of new languages, extension of existing ones, and the inclusion of semantic enabled capabilities into existing IDEs. Papers submitted to PSW'12 should explore open research problems, and must not have been accepted for publication elsewhere or be under review for another workshop or conference. All papers will be peer-reviewed by at least three PC members. Topics of interest include, but are not limited to: * Languages, tools, and methodologies for representing and managing Information-rich data * Novel programming paradigms aimed at the Semantic Web/ linked data /Information-rich spaces in general * Impact of specific application areas (e.g. e-science, e-gov, sensors) on Information-rich application design * Data Visualization * Programming Patterns for data handling * Evaluation of data quality * Plugins and IDEís for information rich application development * Ontologies, Schemata, Taxonomies and Types interplay * query, integration, and analysis of Semantic Web data * Cleaning and provenance of Semantic Web data, services, and processes * Mashing up data and processes SUBMISSION GUIDELINES AND PROCEEDINGS ------------------------------------- Papers submitted to *PSW 2012* should explore open research problems, and must not have been accepted for publication elsewhere or be under review for another workshop or conference. All papers will be peer-reviewed by at least three PC members. The workshop will accept: * Full research and experience papers (maximum length: 12 pages) * Position and demonstration Papers (maximum length: 4 pages) Submissions must be formatted in the style of the Springer Publications format for Lecture Notes in Computer Science (LNCS) (http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0) Papers should be submitted electronically, in PDF format, via EasyChair. All submissions will be peer-reviewed by members of the international program committee. Paper acceptance will be based on originality, significance, technical soundness, and clarity of presentation. Submission link coming soon! * Best papers will have the opportunity to be published in a book on Data Driven Programming, to be published by Springer fall 2013.* At least one author per accepted paper must register and participate in the workshop. Registration is subject to the terms, conditions and procedure of the main ISWC conference to be found on their website. ORGANIZING COMMITTEE -------------------- Karin Breitman, EMC Research Center Evelyne Viegas, Microsoft Research Steffen Staab, Universtity of Koblenz-Landau Jan Vitek, Purdue University Contact: psw12(a)inf.puc-rio.br PROGRAM COMMITTEE ----------------- Alexander Paar, TWT Science and Innovation Andy Gordon, Microsoft Research Axel Polleres, Siemens Daniel Oberle, SAP Don Syme, Microsoft Research Gerd Gröner, University of Koblenz-Landau Haym Hirsh, Rutgers University Janis Voigtländer, University of Bonn Jeff Pan, University of Aberdeen Judith Bishop, Microsoft Research Manfred Hauswirth, DERI Nigel Hoorspool, University of Victoria Peter Fox, Rensselaer Polytechnic Institute Ralf Lämmel, University of Koblenz-Landau Ralf Möller, TU Harburg Sören Auer, University of Leipzig Tim Finin, University of Maryland Tomas Petricek, Cambridge University

1 0

ANNOUNCE: lens-family 0.0.0
by roconnor＠theorem.ca 06 Jul '12

06 Jul '12

I'm pleased to announce the first release of lens-family-core and lens-family. This package provide first class(†) functional references. In addition to the usual operations of getting, setting and composition, plus integration with the state monad, lens families provide some unique features: * Polymorphic updating * Cast projection functions to read-only lenses * Cast semantic editor combinators to modify-only lenses (†) For optimal first-class support use the lens-family package with rank 2 / rank N polymorphism. Lens.Family.Clone allows for first-class support of lenses for those who require Haskell 98. -- Russell O'Connor <http://r6.ca/> ``All talk about `theft,''' the general counsel of the American Graphophone Company wrote, ``is the merest claptrap, for there exists no property in ideas musical, literary or artistic, except as defined by statute.''

2 1

ANNOUNCE: Sifflet visual programming language, release 2.0.0.0
by gdweber＠iue.edu 06 Jul '12

06 Jul '12

I don't usually get this excited about a release, but after nearly a year of not being able to do any work on Sifflet, I am now *Extremely Happy* to announce -- Sifflet and sifflet-lib 2.0.0.0, now available on Hackage! This version introduces a type checker and partial support for higher order functions in Sifflet, the visual, functional programming language and support system for students learning about recursion. Sifflet programmers define functions by drawing diagrams, and the Sifflet interpreter uses the diagrams to show how function calls are evaluated. Sifflet-lib is the library containing many modules of the Sifflet application. What's New ---------- July 5, 2012, Version 2.0.0.0: * Partial support for higher order functions, like map and filter. See Lesson 10 in the Sifflet Tutorial. * Sifflet now provides type checking and type inference. This should make it possible to provide exporters to languages, like Java, that require type declarations. (Unfortunately, the error messages for incorrectly typed functions are not yet friendly for novice programmers.) * Added a menu command (File / Save image ...) to save vector graphic images of functions in the Sifflet Workspace or Edit function windows. Images can be saved in SVG, Postscript, and PDF formats. * Reorganized hierarchical modules in the library to conform to the recommended practice. See the RELEASE-NOTES for details. * Several bugs are fixed, including one which crashed Sifflet when applying a function definition with an incomplete `if` tree. See ISSUES for details. * There is a new file format for saving function definitions to support higher-order function types. The new format, siffml 2.0, has a RELAX NG schema; siffml 1.0 files can still be opened in Sifflet 2.0. About Sifflet ------------- Sifflet is a visual, functional programming language intended as an aid for learning about recursion. * A picture explains Sifflet better than words: please see the screenshot showing how to evaluate 3!: http://mypage.iu.edu/~gdweber/software/sifflet/home.html * Features: - Visual editor. - Visual tracer/debugger which shows how recursive and other function calls are evaluated. To support active learning and avoid screen clutter, Sifflet displays only as much of the computation as the user requests. - Carefully crafted tutorial with 44 pictures, about 26 pages if printed. - Number, string, and list data types. - Small collection of primitive functions. - Runnable examples of compound functions. - Sifflet functions can be exported to Scheme, Python 3, and Haskell. References ---------- * Download: http://hackage.haskell.org/package/sifflet-lib http://hackage.haskell.org/package/sifflet * Home page: http://mypage.iu.edu/~gdweber/software/sifflet/home.html * Sifflet Tutorial: http://mypage.iu.edu/~gdweber/software/sifflet/doc/tutorial.html * RELEASE-NOTES: http://mypage.iu.edu/~gdweber/software/sifflet/RELEASE-NOTES * ISSUES: http://mypage.iu.edu/~gdweber/software/sifflet/ISSUES ------------------------------------------------------------------------ -- Gregory D. Weber, Ph. D. : Associate Professor of Informatics / \ Indiana University East 0 : Tel. (765) 973-8420; FAX (765) 973-8550 / \ http://mypage.iu.edu/~gdweber/ 1 []

1 0

Haskell Weekly News: Issue 234
by Daniel Santa Cruz 05 Jul '12

05 Jul '12

Welcome to issue 234 of the HWN, an issue covering crowd-sourced bits of information about Haskell from around the web. This issue covers the week of June 24 to 30, 2012. Quotes of the Week * monochrom: shae ericsson is shae erisson's evil twin who prefers erlang to haskell :) * shapr: If I were to do this in Python, it would be done by now. and it would be full of bugs. Top Reddit Stories * Performance: yes, it’s worth looking at the small stuff Domain: serpentine.com, Score: 61, Comments: 11 On Reddit: [1] http://goo.gl/x2pGf Original: [2] http://goo.gl/SHBNB * Awesome Haskell plugins for Vim! Domain: self.haskell, Score: 61, Comments: 32 On Reddit: [3] http://goo.gl/Bm6wI Original: [4] http://goo.gl/Bm6wI * Galois is Hiring! Domain: haskell.org, Score: 56, Comments: 7 On Reddit: [5] http://goo.gl/c7zj8 Original: [6] http://goo.gl/y7nBd * Haskell Symposium 2012 list of accepted papers Domain: haskell.org, Score: 43, Comments: 12 On Reddit: [7] http://goo.gl/Fq0rD Original: [8] http://goo.gl/CGZV3 * Live coding the game of Sokoban with GUI. Please give me your input for future sessions. Domain: youtu.be, Score: 42, Comments: 38 On Reddit: [9] http://goo.gl/HslD9 Original: [10] http://goo.gl/0ZeMA * Mirrored Lenses Domain: comonad.com, Score: 36, Comments: 30 On Reddit: [11] http://goo.gl/UyGco Original: [12] http://goo.gl/9ltWW * The Game of Distributed Systems Programming. Which Level Are You? Incubaid Research Domain: blog.incubaid.com, Score: 30, Comments: 7 On Reddit: [13] http://goo.gl/EYWj7 Original: [14] http://goo.gl/P0vhZ * SugarHaskell: language extensions in sugar modules[pdf] Domain: informatik.uni-marburg.de, Score: 27, Comments: 7 On Reddit: [15] http://goo.gl/Z4fL5 Original: [16] http://goo.gl/I78Md * parallel cabal-install patches Domain: haskell.org, Score: 26, Comments: 4 On Reddit: [17] http://goo.gl/Yr1JR Original: [18] http://goo.gl/P9WPK * Is anybody using Sublime Text for their Haskell editing? Domain: self.haskell, Score: 19, Comments: 16 On Reddit: [19] http://goo.gl/pmor9 Original: [20] http://goo.gl/pmor9 * Runge–Kutta in Haskell (RK4) Domain: stochastix.wordpress.com, Score: 19, Comments: 7 On Reddit: [21] http://goo.gl/9Bd2b Original: [22] http://goo.gl/H27Fv * How to build an example proxy server using conduit 0.5 Domain: yesodweb.com, Score: 19, Comments: 14 On Reddit: [23] http://goo.gl/BHLRd Original: [24] http://goo.gl/PtOxh * Found myself wanting lambda-case again Domain: self.haskell, Score: 16, Comments: 13 On Reddit: [25] http://goo.gl/LIOKa Original: [26] http://goo.gl/LIOKa * What is the advantage of monad transformers over monad coproducts? Domain: self.haskell, Score: 16, Comments: 28 On Reddit: [27] http://goo.gl/lxX2D Original: [28] http://goo.gl/lxX2D * Elm 0.3.5: JavaScript Integration, Signal Filters, space savings, ... Domain: testblogpleaseignore.com, Score: 15, Comments: 2 On Reddit: [29] http://goo.gl/jTwAz Original: [30] http://goo.gl/UzoZL * Scribd's AI Challenge Now Supports Haskell Domain: groups.google.com, Score: 14, Comments: 6 On Reddit: [31] http://goo.gl/xmuwG Original: [32] http://goo.gl/oQsTG * EclipseFP: integrating stylish-haskell Domain: jpmoresmau.blogspot.fr, Score: 11, Comments: On Reddit: [33] http://goo.gl/reK9T Original: [34] http://goo.gl/2416v Top StackOverflow Questions * Bug in Data.Map implementation? votes: 15, answers: 1 Read on SO: [35] http://goo.gl/xcgC1 * Monads with Join() instead of Bind() votes: 15, answers: 6 Read on SO: [36] http://goo.gl/phgVU * Haskell numbers and type system? votes: 11, answers: 2 Read on SO: [37] http://goo.gl/nv7Be * How to put constraints on the associated data? votes: 10, answers: 2 Read on SO: [38] http://goo.gl/6zOr9 * How to run Snap haskell webapp in production? votes: 9, answers: 3 Read on SO: [39] http://goo.gl/kx2DR * How can I search a hackage package for a function? votes: 8, answers: 2 Read on SO: [40] http://goo.gl/9fm4O * In Haskell, + is a function, (+ 2) is a function, (+ 2 3) is 5. What exactly is going on there? votes: 8, answers: 4 Read on SO: [41] http://goo.gl/PP2X2 * How can I emulate pointers in Haskell? votes: 8, answers: 1 Read on SO: [42] http://goo.gl/Yq01G * Haskell Precedence: Lambda and operator votes: 8, answers: 2 Read on SO: [43] http://goo.gl/X8yvV * Binding name in type signature using DataKind votes: 8, answers: 2 Read on SO: [44] http://goo.gl/rYcS8 * Missing something with Reader monad - passing the damn thing around everywhere votes: 7, answers: 5 Read on SO: [45] http://goo.gl/zQuBx Until next time, Daniel Santa Cruz References 1. http://www.serpentine.com/blog/2012/06/25/yes-its-worth-looking-at-the-smal… 2. http://www.reddit.com/r/haskell/comments/vkp8t/performance_yes_its_worth_lo… 3. http://www.reddit.com/r/haskell/comments/vomw0/awesome_haskell_plugins_for_… 4. http://www.reddit.com/r/haskell/comments/vomw0/awesome_haskell_plugins_for_… 5. http://www.haskell.org/pipermail/haskell-cafe/2012-June/101978.html 6. http://www.reddit.com/r/haskell/comments/vkwa6/galois_is_hiring/ 7. http://www.haskell.org/haskell-symposium/2012/#schedule 8. http://www.reddit.com/r/haskell/comments/vqjj5/haskell_symposium_2012_list_… 9. http://youtu.be/mtvoOIsN-GU 10. http://www.reddit.com/r/haskell/comments/vkkqc/live_coding_the_game_of_soko… 11. http://comonad.com/reader/2012/mirrored-lenses/ 12. http://www.reddit.com/r/haskell/comments/vk7fy/mirrored_lenses/ 13. http://blog.incubaid.com/2012/03/28/the-game-of-distributed-systems-program… 14. http://www.reddit.com/r/haskell/comments/vnvnw/the_game_of_distributed_syst… 15. http://www.informatik.uni-marburg.de/~seba/projects/sugarj/sugarhaskell.pdf 16. http://www.reddit.com/r/haskell/comments/vtie8/sugarhaskell_language_extens… 17. http://www.haskell.org/pipermail/cvs-ghc/2012-June/074131.html 18. http://www.reddit.com/r/haskell/comments/vmni7/parallel_cabalinstall_patche… 19. http://www.reddit.com/r/haskell/comments/vqhke/is_anybody_using_sublime_tex… 20. http://www.reddit.com/r/haskell/comments/vqhke/is_anybody_using_sublime_tex… 21. http://stochastix.wordpress.com/2012/06/29/runge-kutta-in-haskell/ 22. http://www.reddit.com/r/haskell/comments/vtp5l/rungekutta_in_haskell_rk4/ 23. http://www.yesodweb.com/blog/2012/06/conduit-0-5 24. http://www.reddit.com/r/haskell/comments/vu5hf/how_to_build_an_example_prox… 25. http://www.reddit.com/r/haskell/comments/vu0bb/found_myself_wanting_lambdac… 26. http://www.reddit.com/r/haskell/comments/vu0bb/found_myself_wanting_lambdac… 27. http://www.reddit.com/r/haskell/comments/vuty0/what_is_the_advantage_of_mon… 28. http://www.reddit.com/r/haskell/comments/vuty0/what_is_the_advantage_of_mon… 29. http://www.testblogpleaseignore.com/2012/06/29/announcing-elm-0-3-5-javascr… 30. http://www.reddit.com/r/haskell/comments/vu7z7/elm_035_javascript_integrati… 31. https://groups.google.com/forum/?fromgroups#!topic/scribd-fruit-hunt/Uz5hmP… 32. http://www.reddit.com/r/haskell/comments/vpoza/scribds_ai_challenge_now_sup… 33. http://jpmoresmau.blogspot.fr/2012/06/eclipsefp-integrating-stylish-haskell… 34. http://www.reddit.com/r/haskell/comments/vsgog/eclipsefp_integrating_stylis… 35. http://stackoverflow.com/questions/11180546/bug-in-data-map-implementation 36. http://stackoverflow.com/questions/11234632/monads-with-join-instead-of-bind 37. http://stackoverflow.com/questions/11231859/haskell-numbers-and-type-system 38. http://stackoverflow.com/questions/11258536/how-to-put-constraints-on-the-a… 39. http://stackoverflow.com/questions/11214167/how-to-run-snap-haskell-webapp-… 40. http://stackoverflow.com/questions/11199853/how-can-i-search-a-hackage-pack… 41. http://stackoverflow.com/questions/11217874/in-haskell-is-a-function-2-is-a… 42. http://stackoverflow.com/questions/11222991/how-can-i-emulate-pointers-in-h… 43. http://stackoverflow.com/questions/11237076/haskell-precedence-lambda-and-o… 44. http://stackoverflow.com/questions/11243227/binding-name-in-type-signature-… 45. http://stackoverflow.com/questions/11226338/missing-something-with-reader-m…

1 0

ICFP 2012: Call for participation
by Wouter Swierstra 02 Jul '12

02 Jul '12

===================================================================== Call for Participation The 17th ACM SIGPLAN International Conference on Functional Programming (ICFP 2012) and affiliated events http://www.icfpconference.org/icfp2012/ Copenhagen, Denmark, Sep 9-15, 2012 ===================================================================== ICFP 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. A full week dedicated to functional programming: 1 conference, 1 symposium, 9 workshops, 8 tutorials, programming contest results, student research contest * Accepted Papers: http://www.icfpconference.org/icfp2012/accepted.html * Local arrangements (including travel and accommodation): http://icfpconference.org/icfp2012/local.html Conference hotel reservation cutoff: July 9, 2012 * Registration is available via: http://icfpconference.org/icfp2012/ Electronic registration will open shortly. * Follow @icfp_conference on twitter for the latest news: http://twitter.com/#!/icfp_conference There are several events affiliated with ICFP: September 9 Workshop on Cross-paradigm Language Design and Implementation Workshop on Generic Programming Workshop on Higher-Order Programming with Effects Workshop on Logical Frameworks and Meta-languages: Theory and Practice September 10-12 ICFP - main conference September 13 Commercial Users of Functional Programming – Day 1 (CUFP Tutorials) Haskell Symposium Workshop on ML September 14 Commercial Users of Functional Programming – Day 2 (CUFP Tutorials) Erlang Workshop Haskell Implementors' Workshop OCaml Users and Developers Workshop September 15 Commercial Users of Functional Programming – Day 3 (CUFP Talks) Workshop on Functional High-Performance Computing Tutorial on Compiler Construction in Haskell Tutorial on the Grammatical Framework Conference organizers: * General Chair: Peter Thiemann, University of Freiburg * Program Chair: Robby Findler, Northwestern University * Local Arrangements Chair: Fritz Henglein, University of Copenhagen * Industrial Relations Chair: Andy Adams-Moran, Galois * Workshop Co-Chairs: Patrik Jansson, Chalmers University of Technology Gabriele Keller, University of New South Wales * Programming Contest Chair: Edwin Brady, University of St. Andrews Kevin Hammond, University of St. Andrews * Publicity Chair: Wouter Swierstra, Utrecht University * Video Chair: Malcolm Wallace, Standard Chartered Bank * Student Research Competition Chair: Doaitse Swierstra, Utrecht University =====================================================================

1 0

DEADLINE EXTENSION: CHR 2012 Workshop
by Jon Sneyers 02 Jul '12

02 Jul '12

*** DEADLINE EXTENSION *** ========================================================================= Call for Papers Ninth International Workshop on Constraint Handling Rules CHR 2012 http://dtai.cs.kuleuven.be/CHR/CHR2012/ Budapest (Hungary), September 4th, 2012 (co-located with ICLP 2012) ========================================================================= Introduction The CHR 2012 Workshop will be held on September 4th, 2012 in Budapest, Hungary, at the occasion of the 28th International Conference on Logic Programming (ICLP 2010), the premier international venue for presenting research in logic programming. More information on the venue and the co-located conference and workshops can be found on the ICLP website (http://www.cs.bme.hu/iclp2012/) The Constraint Handling Rules (CHR) language has become a major declara- tive specification formalism and implementation language for constraint reasoning algorithms and applications. Algorithms specified using infe- rence rules, rewrite rules, sequents, proof rules, or logical axioms can often be directly written in CHR. Its clean semantics facilitates pro- gram design, analysis, and transformation. For more information, please visit the CHR website (http://dtai.cs.kuleuven.be/CHR/) The aim of the CHR workshop series is to stimulate and promote interna- tional research and collaboration on topics related to the CHR language. The workshop is a lively, friendly forum for presenting and discussing new results, interesting applications, and work in progress. Previous Workshops on Constraint Handling Rules were organized in 2004 in Ulm (Germany), in 2005 in Sitges (Spain) at ICLP, in 2006 in Venice (Italy) at ICALP, in 2007 in Porto (Portugal) at ICLP, in 2008 in Hagen- berg (Austria) at RTA, in 2009 in Pasadena (California, US) at ICLP, in 2010 in Edinburgh (Scotland, UK) at ICLP, and in 2011 in Cairo (Egypt), at the 2nd CHR summer school. Topics of Interest The workshop calls for full papers and short papers describing ongoing work on any aspect of CHR and related approaches. The following topics are relevant (this list is non-exhaustive): - (Logical) Algorithms - Applications - Comparisons with Related Approaches - Constraint Solvers - Critical Assessment - Expressiveness and Complexity - Implementations and Optimization - Language Extensions (Types, Modules,...) - Program Analysis - Program Transformation and Generation - Programming Environments (Debugging) - Programming Pearls - Programming Tools - Retractable Constraints - Semantics - System Descriptions Important dates - Paper submission deadline: July 15th, 2012 (EXTENDED!) - Notification of acceptance: August 8th, 2012 - Final version due: August 24th, 2012 - Workshop date: September 4th, 2012 Submission Information The four broad categories for submissions are: 1. technical papers for describing technically sound, innovative ideas that can advance the state of the art of CHR 2. application papers, where the emphasis will be on the use of CHR in the application, on the impact on the application domain, and the lessons learned from this application 3. system and tool papers, emphasising the novelty, practicality, usability and general availability of the systems and tools described 4. short papers, for ongoing work not yet ready for full publication and research project overviews. All papers must describe original, previously unpublished research, and must not simultaneously be submitted for publication elsewhere. They must be written in English. Technical papers must not exceed 15 pages. The limit for short papers is 8 pages, as is the standard page limit for application papers, and system and tool papers. However, particularly strong contributions in the latter two areas may be submitted as technical paper as well. All papers must be in the Springer LNCS format. General information about the Springer LNCS series and the LNCS authors' instructions are available at the Springer LNCS home page (http://www.springer.com/computer/lncs?SGWID=0-164-7-72376-0) Submissions must be made via the EasyChair submission system, available at http://www.easychair.org/conferences/?conf=chr2012 Programme Committee - Henning Christiansen, Roskilde University, Denmark - Veronica Dahl, Simon Fraser University, Canada - François Fages, INRIA Paris-Rocquencourt, France - Thom Frühwirth, Ulm University, Germany (co-chair) - Maurizio Gabbrielli, Universita' di Bologna, Italy - Rémy Haemmerlé, Universidad Politecnica de Madrid, Spain - Thierry Martinez, INRIA Paris-Rocquencourt, France - Eric Monfroy, Université de Nantes, France - Tom Schrijvers, University of Ghent, Belgium - Jon Sneyers, KU Leuven, Belgium (co-chair) - Armin Wolf, Fraunhofer FIRST, Germany Workshop Coordinators Contact: chr2012(a)easychair.org Jon Sneyers Department of Computer Science, KU Leuven Leuven, Belgium http://people.cs.kuleuven.be/~jon.sneyers/ Thom Frühwirth Programmiermethodik und Compilerbau, Ulm University Ulm, Germany http://www.informatik.uni-ulm.de/pm/mitarbeiter/fruehwirth/

1 0

Haskell Weekly News: Issue 233
by Daniel Santa Cruz 27 Jun '12

27 Jun '12

Welcome to issue 233 of the HWN, an issue covering crowd-sourced bits of information about Haskell from around the web. This issue covers the week of June 17 to 23, 2012. Quotes of the Week * ciaranm: if it's ugly, it's imperative. if it's incomprehensible, it's functional. * xplat: when life gives you lemons, make lemonads Top Reddit Stories * What are everyone's favorite "aha" moments in learning Haskell? Domain: self.haskell, Score: 93, Comments: 156 On Reddit: [1] http://goo.gl/8YSyY Original: [2] http://goo.gl/8YSyY * Unit testing isn't enough. You need static typing too. Domain: evanfarrer.blogspot.ca, Score: 82, Comments: 22 On Reddit: [3] http://goo.gl/b73gf Original: [4] http://goo.gl/JF4ND * Snap Framework 0.9 Released Domain: snapframework.com, Score: 60, Comments: 7 On Reddit: [5] http://goo.gl/7fP9D Original: [6] http://goo.gl/7SoU6 * Haskell’s record system is a cruel joke Domain: labs.scrive.com, Score: 52, Comments: 100 On Reddit: [7] http://goo.gl/XKIch Original: [8] http://goo.gl/wOvyc * Polymorphic Update with van Laarhoven Lenses Domain: r6.ca, Score: 51, Comments: 9 On Reddit: [9] http://goo.gl/qvpPg Original: [10] http://goo.gl/34TbY * Building a blog with Snap and Heist Domain: bonus500.github.com, Score: 45, Comments: 30 On Reddit: [11] http://goo.gl/UDHCs Original: [12] http://goo.gl/eo9a3 * Totality vs. Turing completeness (McBride)[PDF, 35 slides, ±] Domain: personal.cis.strath.ac.uk, Score: 42, Comments: 22 On Reddit: [13] http://goo.gl/qua0n Original: [14] http://goo.gl/8auaP * GHC's imprecise (non-deterministic) "error" Domain: stackoverflow.com, Score: 41, Comments: On Reddit: [15] http://goo.gl/6WQWx Original: [16] http://goo.gl/MOCeT * Hackage comments — a simple user script Domain: chrisdone.com, Score: 39, Comments: 17 On Reddit: [17] http://goo.gl/t9oBH Original: [18] http://goo.gl/CmXuB * A Notation for Comonads (Orchard, Mycroft) [pdf] Domain: cl.cam.ac.uk, Score: 38, Comments: 48 On Reddit: [19] http://goo.gl/S4lz9 Original: [20] http://goo.gl/uw8ZY * Taming list syntax in Haskell Domain: labs.scrive.com, Score: 36, Comments: 29 On Reddit: [21] http://goo.gl/YLTZL Original: [22] http://goo.gl/UJpcB * Shell scripting with type-safety using Haskell « Linux-Magazin Online Domain: linux-magazin.de, Score: 36, Comments: 32 On Reddit: [23] http://goo.gl/yEMQ0 Original: [24] http://goo.gl/U3zO5 * Roy, A Statically Typed, Functional Language for Javascript. The Functional Web [PDF] Domain: brianmckenna.org, Score: 32, Comments: 9 On Reddit: [25] http://goo.gl/SBhec Original: [26] http://goo.gl/v0iH2 * [ANN] GenCheck - a generalized property-based testing framework Domain: permalink.gmane.org, Score: 30, Comments: On Reddit: [27] http://goo.gl/GCUGJ Original: [28] http://goo.gl/c2Y0s Top StackOverflow Questions * How do exceptions in Haskell work? votes: 53, answers: 1 Read on SO: [29] http://goo.gl/MOCeT * Has anyone ever compiled a list of the imports needed to avoid the “not polymorphic enough” definitions in Haskell's standard libraries? votes: 19, answers: 1 Read on SO: [30] http://goo.gl/kyXde * Why does adding a polymorphic type signature degrade performance? votes: 13, answers: 2 Read on SO: [31] http://goo.gl/Lf18k * To write or not to write `module Main where` in Haskell votes: 10, answers: 1 Read on SO: [32] http://goo.gl/IDSOx * Why aren't FingerTrees used enough to have a stable implementation? votes: 10, answers: 3 Read on SO: [33] http://goo.gl/wzw4e * What is the difference between PArray and [::] in Data Parallel Haskell? votes: 9, answers: 0 Read on SO: [34] http://goo.gl/FpUJX * Why discarded values are () instead of ⊥ in Haskell? votes: 8, answers: 5 Read on SO: [35] http://goo.gl/jIK26 * Is it possible to embed Haskell in a C library opaquely? votes: 8, answers: 1 Read on SO: [36] http://goo.gl/3H5tu * NoMonomorphismRestriction helps preserve sharing? votes: 8, answers: 2 Read on SO: [37] http://goo.gl/FDdeA * Why doesn't Haskell/GHC support record name overloading votes: 7, answers: 2 Read on SO: [38] http://goo.gl/NsHKM Until next time, Daniel Santa Cruz References 1. http://www.reddit.com/r/haskell/comments/vi425/what_are_everyones_favorite_… 2. http://www.reddit.com/r/haskell/comments/vi425/what_are_everyones_favorite_… 3. http://evanfarrer.blogspot.ca/2012/06/unit-testing-isnt-enough-you-need.html 4. http://www.reddit.com/r/haskell/comments/vbwrv/unit_testing_isnt_enough_you… 5. http://snapframework.com/blog/2012/06/17/snap-0.9-released 6. http://www.reddit.com/r/haskell/comments/v779m/snap_framework_09_released/ 7. http://labs.scrive.com/2012/06/haskell-lacks-a-serious-record-system/ 8. http://www.reddit.com/r/haskell/comments/vdg55/haskells_record_system_is_a_… 9. http://r6.ca/blog/20120623T104901Z.html 10. http://www.reddit.com/r/haskell/comments/vhbf4/polymorphic_update_with_van_… 11. http://bonus500.github.com/sc2blog/ 12. http://www.reddit.com/r/haskell/comments/vg3q2/building_a_blog_with_snap_an… 13. https://personal.cis.strath.ac.uk/conor.mcbride/pub/Totality.pdf 14. http://www.reddit.com/r/haskell/comments/vazfp/totality_vs_turing_completen… 15. http://stackoverflow.com/questions/11070690/how-do-exceptions-in-haskell-wo… 16. http://www.reddit.com/r/haskell/comments/v6sec/ghcs_imprecise_nondeterminis… 17. http://chrisdone.com/hackage-comments/ 18. http://www.reddit.com/r/haskell/comments/v8gvc/hackage_comments_a_simple_us… 19. http://www.cl.cam.ac.uk/~dao29/drafts/codo-notation-orchard12.pdf 20. http://www.reddit.com/r/haskell/comments/v6ik6/a_notation_for_comonads_orch… 21. http://labs.scrive.com/2012/06/taming-list-syntax-in-haskell/ 22. http://www.reddit.com/r/haskell/comments/v9ilw/taming_list_syntax_in_haskel… 23. http://www.linux-magazin.de/Online-Artikel/Shell-scripting-with-type-safety… 24. http://www.reddit.com/r/haskell/comments/vdrt0/shell_scripting_with_typesaf… 25. http://brianmckenna.org/files/IC-Roy.pdf 26. http://www.reddit.com/r/haskell/comments/vhkgf/roy_a_statically_typed_funct… 27. http://permalink.gmane.org/gmane.comp.lang.haskell.general/19371 28. http://www.reddit.com/r/haskell/comments/va5ao/ann_gencheck_a_generalized_p… 29. http://stackoverflow.com/questions/11070690/how-do-exceptions-in-haskell-wo… 30. http://stackoverflow.com/questions/11076062/has-anyone-ever-compiled-a-list… 31. http://stackoverflow.com/questions/11145503/why-does-adding-a-polymorphic-t… 32. http://stackoverflow.com/questions/11112371/to-write-or-not-to-write-module… 33. http://stackoverflow.com/questions/11151732/why-arent-fingertrees-used-enou… 34. http://stackoverflow.com/questions/11103707/what-is-the-difference-between-… 35. http://stackoverflow.com/questions/11076938/why-discarded-values-are-instea… 36. http://stackoverflow.com/questions/11137443/is-it-possible-to-embed-haskell… 37. http://stackoverflow.com/questions/11145904/nomonomorphismrestriction-helps… 38. http://stackoverflow.com/questions/11100322/why-doesnt-haskell-ghc-support-…

1 0

Final Call for Papers: IEEE Software Engineering Workshop (SEW-35), Heraclion, Crete, 12-13 October 2012
by Huibiao Zhu 27 Jun '12

27 Jun '12

[Note: Submission Deadline is 1 July 2012] IEEE Software Engineering Workshop (SEW-35) 12-13 October 2012 Heraclion, Crete, Greece http://www.seworkshop.org Co-located with 5th International Symposium on Leveraging Applications of Formal Methods (ISoLA 2012) http://www.cs.uni-potsdam.de/isola/isola2012/ Sponsored by IEEE Computer Society, Technical Council on Software Engineering (pending). Background The 35th IEEE Software Engineering Workshop, the longest continually running Software Engineering event in the world, will be held in Heraclion, Crete, collocated with ISoLA 2012. Scope The workshop aims to bring together all those with an interest in software engineering. Traditionally, the conference attracts industrial and government practitioners and academics pursuing the advancement of software engineering principles and techniques. The workshop provides a forum for reporting on past experiences, for describing new and emerging results and techniques, and for exchanging ideas on best practice and future directions. Topics of interest include, but are not limited to: * Metrics and experience reports * Software quality assurance * Formal methods and formal approaches to software development * Software engineering processes and process improvement * CMM and CMMI * Requirements engineering * Software architectures * Real-time Software Engineering * Software maintenance, reuse, and legacy systems * Agent-based software systems * Self-managing systems Submissions Long papers (maximum 10 pages in IEEE format) and short industrial/governmental experience reports (maximum 5 pages in IEEE format) are sought for inclusion in the conference program and publication in the postproceedings, which will be published by IEEE CS Press (see http://www.ieee.org/conferences_events/conferences/publishing/templates.html for paper formatting instructions). All submissions will be reviewed for originality, relevance, and technical detail. At least one author per paper will be required to register and present at the workshop. Papers not presented will not be included in the proceedings. All submissions must be made in electronic format (.doc, .pdf, or .ps formats only), via the conference electronic submission site at: http://www.easychair.org/conferences/?conf=sew35 Publication All accepted papers will be published in the conference post proceedings, to be published by IEEE CS Press. Some authors will also be invited to submit a revised version of their paper for inclusion in Innovations in Systems and Software Engineering: A NASA Journal (Springer). Important Dates 1 July 2012 Long and short papers due 17 August 2012 Notification to authors 12-13 October 2012 SEW in Crete 12 December 2012 Final papers due for post-proceedings Enquiries Any program inquiries should be directed by email to the Programme Co-chairs: Jonathan Bowen, London South Bank University/Museophile Limited, UK jonathan.bowen(a)lsbu.ac.uk Huibiao Zhu, East China Normal University, Shanghai, China hbzhu(a)sei.ecnu.edu.cn Any general inquiries should be directed by email to the Workshop Chair: Mike Hinchey, Lero, University of Limerick, Republic of Ireland mike.hinchey(a)lero.ie For faster responses, please include "SEW" in the subject line.

1 0

ICFP Student Research Competition
by Wouter Swierstra 25 Jun '12

25 Jun '12

===================================================================== Student Research Competition Associated with the The 17th ACM SIGPLAN International Conference on Functional Programming (ICFP 2012) and affiliated events http://www.icfpconference.org/icfp2012/src.html Copenhagen, Denmark, Sep 9-15, 2012 ===================================================================== This year ICFP will host a Student Research Competition where undergraduate and postgraduate students can present posters. The SRC at the ICFP 2012 consists of three rounds: - Extended abstract round: All students are encouraged to submit an extended abstract outlining their research (800 words). - Poster session at ICFP 2012: Based on the abstracts, a panel of judges will select the most promising entrants to participate in the poster session which will take place at ICFP. Students who make it to this round will be supported to attend the conference, to a maximum of $500 for travel and housing. If your total costs are higher than these $500 your conference fee may be waived too. In the poster session, students will have the opportunity to present their work to the judges, who will select three finalists in each category* (graduate/undergraduate) to advance to the next round. - ICFP presentation: The next round consists of an oral presentation at the ICFP to compete for the final awards in each category. ** Prizes ** Both the top three graduate and the top three undergraduate contestants will receive prizes of $500, $300, and $200, respectively. All six winners will receive award medals and a two-year complimentary ACM student membership, including a subscription to ACM’s Digital Library. The names of the winners will be posted on the SRC web site. The winners in each category will be invited to participate in the ACM SRC Grand Finals, an on-line round of competitions among the winners of other conference-hosted SRCs. Grand Finalists and their advisors will be invited to the Annual ACM Awards Banquet for an all-expenses-paid trip, where they will be recognized for their accomplishments along with other prestigious ACM award winners, including the winner of the Turing Award (also known as the Nobel Prize of Computing). The top three graduate Grand Finalists will receive an additional $500, $300, and $200. Likewise, the top three undergraduate Grand Finalists will receive an additional $500, $300, and $200. All six Grand Finalists will receive Grand Finalist certificates. ** Eligibility ** The SRC is open to both undergraduate and graduate students. Upon submission, entrants must be enrolled as a student at their university. The abstract must describe the student’s individual research and must be authored solely by the student. If the work is collaborative with others and/or part of a larger group project, the abstract should make clear what the student’s role was and should focus on that portion of the work. The extended abstract must not exceed 800 words and must not be longer than 2 pages. The reference list does not count towards these limits. To submit an abstract, please register through the submission page and follow the instructions. Abstracts submitted after the deadline may be considered at the committee's discretion, but only after decisions have been made on all abstracts submitted before the deadline. If you have any problems, don't hesitate to contact the competition chair. More information about the submission process can be found online at: http://www.icfpconference.org/icfp2012/src.html ** Important Dates ** Deadline for submission: June 29th Notification of acceptance: July 8th ** Selection Committee ** Koen Claessen, Chalmers University of Technology Robby Findler (ICFP Program chair), Northwestern University Ken Friis Larsen, IT University of Copenhangen Jacques Garrigue, Nagoya University Doaitse Swierstra (Chair), Utrecht University

1 0