- Haskell - Haskell.org

Haskell Weekly News: Issue 284
by Daniel Santa Cruz 25 Oct '13

25 Oct '13

Welcome to issue 284 of the HWN, an issue covering crowd-sourced bits of information about Haskell from around the web. This issue covers the week of October 13 to 19, 2013. Quotes of the Week * Polarina: Once you get something with [lens] to work correctly, all other Haskell code looks like C++ in comparison. Top Reddit Stories * The GHC October status report - a nice summary of what to expect from 7.8 Domain: ghc.haskell.org, Score: 106, Comments: 51 On Reddit: [1] http://goo.gl/ZOYHI7 Original: [2] http://goo.gl/1PM4s7 * Haskell for all: An all-atom protein search engine powered by Haskell Domain: haskellforall.com, Score: 84, Comments: 51 On Reddit: [3] http://goo.gl/TwntnD Original: [4] http://goo.gl/4WbmZp * FSF - Recognizing an inspiring woman for Ada Lovelace Day: Haskell/Perl hacker Audrey Tang Domain: fsf.org, Score: 82, Comments: 15 On Reddit: [5] http://goo.gl/XbrLS7 Original: [6] http://goo.gl/zGTnbL * Automatic SIMD Vectorization for Haskell and ICFP 2013 Domain: dorchard.wordpress.com, Score: 50, Comments: 3 On Reddit: [7] http://goo.gl/ikP8nw Original: [8] http://goo.gl/kYCQyW * A Little Lens Starter Tutorial - School of Haskell Domain: fpcomplete.com, Score: 49, Comments: 43 On Reddit: [9] http://goo.gl/RQjC2m Original: [10] http://goo.gl/LA7fUo * Abstractions for the Functional Roboticist with Anthony Cowley at NY Haskell Domain: vimeo.com, Score: 43, Comments: 13 On Reddit: [11] http://goo.gl/f4j0CP Original: [12] http://goo.gl/pSZBNR * The "magic" of "join (,)" Domain: self.haskell, Score: 42, Comments: 18 On Reddit: [13] http://goo.gl/oVjtNL Original: [14] http://goo.gl/oVjtNL * A Taste of Agda with Francesco Mazzoli at NY Haskell Domain: vimeo.com, Score: 41, Comments: 15 On Reddit: [15] http://goo.gl/anu7xJ Original: [16] http://goo.gl/vIfDNM * [Demo movie] Ajhc Haskell compiler can create Haskell Apps running on Android NDK! Domain: youtube.com, Score: 36, Comments: 22 On Reddit: [17] http://goo.gl/HM4AJ3 Original: [18] http://goo.gl/j1Gmqi * Open question: help me design a new encoding API for aeson Domain: serpentine.com, Score: 31, Comments: 30 On Reddit: [19] http://goo.gl/CE6Q0I Original: [20] http://goo.gl/ikdO5O * Made some Haskell Wallpapers, thought I'd share Domain: imgur.com, Score: 30, Comments: 27 On Reddit: [21] http://goo.gl/A1LILP Original: [22] http://goo.gl/c054gN * How to use Travis-CI with multiple GHC versions Domain: github.com, Score: 30, Comments: 6 On Reddit: [23] http://goo.gl/hsH9a7 Original: [24] http://goo.gl/K2Eja5 * A Gentle Introduction to Parsec Domain: blog.barrucadu.co.uk, Score: 29, Comments: 1 On Reddit: [25] http://goo.gl/GHUil8 Original: [26] http://goo.gl/21xyq2 * Haskell.org committee is looking for self-nominations Domain: haskell.org, Score: 28, Comments: 2 On Reddit: [27] http://goo.gl/B3pc80 Original: [28] http://goo.gl/19dZX4 * Backpropogation, Steepest Descent, and Automatic Differentiation Domain: idontgetoutmuch.wordpress.com, Score: 23, Comments: 22 On Reddit: [29] http://goo.gl/izxqMg Original: [30] http://goo.gl/F2fjNk * Anonymous records. A solution to the problems of record-system. Domain: gist.github.com, Score: 22, Comments: 24 On Reddit: [31] http://goo.gl/CjdbT3 Original: [32] http://goo.gl/UY5OqT Top StackOverflow Questions * Is there a canonical haskell type for “One or Both”? votes: 15, answers: 3 Read on SO: [33] http://goo.gl/yn8MkJ * Show progress of Haskell program votes: 14, answers: 4 Read on SO: [34] http://goo.gl/IEegAQ * Does Data.ByteString.readFile block all threads? votes: 13, answers: 3 Read on SO: [35] http://goo.gl/5X805o * Am I abusing unsafePerformIO? votes: 11, answers: 3 Read on SO: [36] http://goo.gl/SnfOcK * GHCJS: How do I import a high order javascript function using FFI? votes: 10, answers: 1 Read on SO: [37] http://goo.gl/fCbPE2 * Simulating a spring/damper system in Yampa votes: 9, answers: 1 Read on SO: [38] http://goo.gl/zQ50Ao Until next time, [39]+Daniel Santa Cruz References 1. http://ghc.haskell.org/trac/ghc/wiki/Status/Oct13 2. http://www.reddit.com/r/haskell/comments/1opw22/the_ghc_october_status_repo… 3. http://www.haskellforall.com/2013/10/an-all-atom-protein-search-engine.html 4. http://www.reddit.com/r/haskell/comments/1oc5g5/haskell_for_all_an_allatom_… 5. https://www.fsf.org/blogs/community/recognizing-an-inspiring-woman-for-ada-… 6. http://www.reddit.com/r/haskell/comments/1oj2u4/fsf_recognizing_an_inspirin… 7. http://dorchard.wordpress.com/2013/10/14/automatic-simd-vectorization-for-h… 8. http://www.reddit.com/r/haskell/comments/1og58l/automatic_simd_vectorizatio… 9. https://www.fpcomplete.com/user/tel/a-little-lens-starter-tutorial 10. http://www.reddit.com/r/haskell/comments/1obpxb/a_little_lens_starter_tutor… 11. http://vimeo.com/rickasaurus/haskell-robots 12. http://www.reddit.com/r/haskell/comments/1oo2at/abstractions_for_the_functi… 13. http://www.reddit.com/r/haskell/comments/1olk04/the_magic_of_join/ 14. http://www.reddit.com/r/haskell/comments/1olk04/the_magic_of_join/ 15. https://vimeo.com/77168227 16. http://www.reddit.com/r/haskell/comments/1oq0dt/a_taste_of_agda_with_france… 17. http://www.youtube.com/watch?v=n6cepTfnFoo 18. http://www.reddit.com/r/haskell/comments/1oq22l/demo_movie_ajhc_haskell_com… 19. http://www.serpentine.com/blog/2013/10/14/open-question-help-me-design-a-ne… 20. http://www.reddit.com/r/haskell/comments/1ohe9m/open_question_help_me_desig… 21. http://imgur.com/a/DRdNi 22. http://www.reddit.com/r/haskell/comments/1om4ie/made_some_haskell_wallpaper… 23. https://github.com/hvr/multi-ghc-travis 24. http://www.reddit.com/r/haskell/comments/1os3f6/how_to_use_travisci_with_mu… 25. http://blog.barrucadu.co.uk/2013/05/27/a-gentle-introduction-to-parsec/ 26. http://www.reddit.com/r/haskell/comments/1ojsi4/a_gentle_introduction_to_pa… 27. http://www.haskell.org/pipermail/haskell-cafe/2013-October/110997.html 28. http://www.reddit.com/r/haskell/comments/1onnab/haskellorg_committee_is_loo… 29. http://idontgetoutmuch.wordpress.com/2013/10/13/backpropogation-is-just-ste… 30. http://www.reddit.com/r/haskell/comments/1odmk1/backpropogation_steepest_de… 31. https://gist.github.com/nikita-volkov/6977841 32. http://www.reddit.com/r/haskell/comments/1oicmu/anonymous_records_a_solutio… 33. http://stackoverflow.com/questions/19413438/is-there-a-canonical-haskell-ty… 34. http://stackoverflow.com/questions/19343695/show-progress-of-haskell-program 35. http://stackoverflow.com/questions/19347907/does-data-bytestring-readfile-b… 36. http://stackoverflow.com/questions/19371636/am-i-abusing-unsafeperformio 37. http://stackoverflow.com/questions/19415306/ghcjs-how-do-i-import-a-high-or… 38. http://stackoverflow.com/questions/19461227/simulating-a-spring-damper-syst… 39. https://plus.google.com/105107667630152149014/about

1 0

JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING - CFP Deadline extended
by Josep Silva Galiana 24 Oct '13

24 Oct '13

[Apologies for multiple copies] Due to numerous requests, we have extended the deadline for this special issue of the JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING. We welcome papers related to the specification, design, construction, debugging, verification and validation of web systems. **************************************************************************** (Extended) Call for Papers JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING Special Issue on Automated Specification and Verification of Web Systems http://www.dsic.upv.es/~jsilva/wwv2013/jlap2014/ **************************************************************************** IMPORTANT DATES Submission of papers: November 15, 2013 First review decision: February 15, 2014 Revision due: March 30, 2014 Acceptance notification: May 15, 2014 Final manuscript due: June 15, 2014 Expected publication: Summer/Autumn 2014 AIMS AND SCOPE This special issue of the Journal of Logic and Algebraic Programming (JLAP, http://www.journals.elsevier.com/the-journal-of-logic-and-algebraic-program…) is devoted to the topics of: - the 9th International Workshop on Automated Specification and Verification of Web Systems (WWV 2013, http://www.dsic.upv.es/~jsilva/wwv2013/) which took place on June 2013 in Firenze, as part of the International Federated Conferences on Distributed Computing Techniques (DisCoTec 2013). This is however an open call for papers, therefore both participants of the workshops and other authors are encouraged to submit contributions. The aim of this special issue is to provide an interdisciplinary forum to facilitate the cross-fertilization and the advancement of hybrid methods that exploit concepts and tools drawn from Rule-based programming, Software engineering, Formal methods and Web-oriented research. Nowadays, many companies and institutions have diverted their Web sites into interactive, completely-automated, Web-based applications for, e.g., e-business, e-learning, e-government and e-health. The increased complexity and the explosive growth of Web systems have made their design and implementation a challenging task. Systematic, formal approaches to their specification and verification can permit to address the problems of this specific domain by means of automated and effective techniques and tools. We solicit original papers on topics of either theoretical or applied interest, which include, but are not limited to: - Approaches to Web system analysis, certification, specification, verification, and optimization. - Languages and models for programming and designing Web systems. - Formal methods for describing and reasoning about Web systems. - Model-checking, synthesis and debugging of Web systems. - Analysis and verification of linked data. - Web information retrieval. - Abstract interpretation and program transformation applied to the semantic Web. - Intelligent tutoring and advisory systems for Web specifications authoring. - Middleware and frameworks for composition and orchestration of Web services. - Web quality and Web metrics. - Web usability and accessibility. - Testing and evaluation of Web systems and applications. SUBMISSION We expect original articles (typically 20-30 pages; submission of larger papers will be evaluated depending on editorial constraints) that present high-quality contributions that have not been previously published in another journal and that must not be simultaneously submitted for publication elsewhere. Each paper will undergo a thorough evaluation by at least two reviewers. The authors will have about 50 days to incorporate the comments of the reviewers and submit a revised version of their papers, which will be evaluated again by the reviewers to make a final decision. Contributions should be in PDF format and must comply with JLAP's author guidelines, which can be retrieved from http://www.elsevier.com/wps/find/journaldescription.cws_home/621520/authori…. The manuscripts must be written in English and should be prepared using the Elsevier LaTeX package. Submissions are handled using the Elsevier Editorial System and can be uploaded using the following link: http://ees.elsevier.com/jlap/default.asp In the submission process, the authors must select the article type 'WWV 2013'. GUEST EDITORS António Ravara (aravara(a)fct.unl.pt) Universidade Nova de Lisboa, Portugal Josep Silva (jsilva(a)dsic.upv.es) Universitat Politècnica de València, Spain

1 0

HPC and the Square Kilometre Array
by Simon Peyton-Jones 22 Oct '13

22 Oct '13

Here's an interesting-looking job. The Cambridge radio astronomy group are looking for a research associate to work on software for the Square Kilometre Array. The advert is here http://www.jobs.cam.ac.uk/job/2189/ Although it doesn't mention Haskell. Bojan says ""Somebody with background in C, MPI (or other HPC models) and Haskell would be ideal". Simon Microsoft Research Limited (company number 03369488) is registered in England and Wales Registered office is at 21 Station Road, Cambridge, CB1 2FB

2 1

Haskell.org committee self-nomination time
by Jason Dagit 17 Oct '13

17 Oct '13

Dear Haskellers, Another year of the haskell.org committee is drawing to a close and it is therefore time to seek replacements for those members whose term is expiring. This year three members are retiring, Edward Z. Yang, Vo Minh Thu, and Mark Lentczner. The rest of the committee would like to thank them for their excellent service. To nominate yourself, please send an e-mail to committee at haskell.org by 29 October 2013. The retiring members are eligible to re-nominate themselves. Please feel free to include any information about yourself that you think will help us to make a decision. Being a member of the committee does not require a significant amount of time, but committee members should aim to be responsive during discussions when the committee is called upon to make a decision. Strong leadership, communication, and judgement are very important characteristics for committee members. The role is about setting policy, providing direction/guidance for the Haskell.org infrastructure, planning for the long term, and being fiscally responsible with the Haskell.org funds (and donations). As overseers for policy regarding the open source side of Haskell, committee members must also be able to set aside personal or business related bias and make decisions with the good of the open source Haskell community in mind. More details about the committee's roles and responsibilities are on http://www.haskell.org/haskellwiki/Haskell.org_committee If you have any questions about the process, please feel free to e-mail us at committee at haskell.org or to contact one of us individually. Regards, Jason

1 0

Haskell Weekly News: Issue 283
by Daniel Santa Cruz 17 Oct '13

17 Oct '13

Welcome to issue 283 of the HWN, an issue covering crowd-sourced bits of information about Haskell from around the web. This issue covers the week of October 06 to 12, 2013. Quotes of the Week * elliott: haskell programs allocate a lot because they can't do much else * spj: [on pointfree style] It has a certain eccentric charm all of its own. * acowley: When we pick a random number, we stick to it. Top Reddit Stories * Simon Peyton Jones on Lenses at the Haskell eXchange Skillscast now available! Domain: skillsmatter.com, Score: 127, Comments: 107 On Reddit: [1] http://goo.gl/V6J6dR Original: [2] http://goo.gl/Kc1zEf * Why I don’t like the lens library Domain: fvisser.nl, Score: 99, Comments: 104 On Reddit: [3] http://goo.gl/Xz6p6C Original: [4] http://goo.gl/ZzxSOU * Cartesian Closed Comic #23: Picking a lens library Domain: ro-che.info, Score: 85, Comments: 8 On Reddit: [5] http://goo.gl/mXXUQw Original: [6] http://goo.gl/Bi2UIW * The core flaw of pipes and conduit Domain: yesodweb.com, Score: 45, Comments: 101 On Reddit: [7] http://goo.gl/tfSZ2Z Original: [8] http://goo.gl/5CpF2I * How to reimplement the conduit parsing API in pipes Domain: haskellforall.com, Score: 43, Comments: 16 On Reddit: [9] http://goo.gl/xQ9f93 Original: [10] http://goo.gl/iqFxfs * pipes resource problems Domain: yesodweb.com, Score: 40, Comments: 74 On Reddit: [11] http://goo.gl/9FpIwz Original: [12] http://goo.gl/tj0LbW * Beginners cheatsheet to the lens library Domain: haskell.org, Score: 40, Comments: 59 On Reddit: [13] http://goo.gl/I2i2or Original: [14] http://goo.gl/Y8znDQ * Demo: Ariadne, go-to-definition for Haskell Domain: youtube.com, Score: 39, Comments: 35 On Reddit: [15] http://goo.gl/KC1D5m Original: [16] http://goo.gl/0lqLPh * Do Extraterrestrials Use Functional Programming? Domain: justtesting.org, Score: 39, Comments: 39 On Reddit: [17] http://goo.gl/FZos1f Original: [18] http://goo.gl/RaIEZF * Haskell for all: Manual proofs for the `pipes` laws Domain: haskellforall.com, Score: 37, Comments: 55 On Reddit: [19] http://goo.gl/rhLmBC Original: [20] http://goo.gl/cmiDln * Unique PDFs linked in #haskell Domain: ircbrowse.net, Score: 36, Comments: 13 On Reddit: [21] http://goo.gl/mNNkM7 Original: [22] http://goo.gl/7Sj2si * Andres Löh on free monads Domain: skillsmatter.com, Score: 36, Comments: 15 On Reddit: [23] http://goo.gl/2sRcxC Original: [24] http://goo.gl/fvLiRn * Simpler conduit core (aka part 3 of 3) Domain: fpcomplete.com, Score: 36, Comments: 23 On Reddit: [25] http://goo.gl/V3FutZ Original: [26] http://goo.gl/4qYkRj * Proposal for Applicative do-notation Domain: ghc.haskell.org, Score: 36, Comments: 50 On Reddit: [27] http://goo.gl/skxmph Original: [28] http://goo.gl/st8iOp * So I (kind of) made a Haskell clone of the business card Ray Tracer Domain: github.com, Score: 35, Comments: 14 On Reddit: [29] http://goo.gl/tZZMnH Original: [30] http://goo.gl/G1hzjt * Call to Action - Fay FFI Bindings for AngularJS Domain: haskell.org, Score: 35, Comments: 16 On Reddit: [31] http://goo.gl/en6th1 Original: [32] http://goo.gl/g5T8TJ * The Haxl project at Facebook: concise, efficient access to diverse data sources Domain: skillsmatter.com, Score: 34, Comments: 9 On Reddit: [33] http://goo.gl/vEKNKb Original: [34] http://goo.gl/HKaMmn * Rethinking Supercompilation [PDF] Domain: community.haskell.org, Score: 34, Comments: 17 On Reddit: [35] http://goo.gl/IVwvdi Original: [36] http://goo.gl/BuaaXW * Musings on Lens Domain: gist.io, Score: 31, Comments: 9 On Reddit: [37] http://goo.gl/akld2Z Original: [38] http://goo.gl/CdPtlT Top StackOverflow Questions * Functions of possibly cyclic data structures votes: 12, answers: 1 Read on SO: [39] http://goo.gl/SBPV2t * How can I improve my understanding of the Haskell Type system? votes: 11, answers: 2 Read on SO: [40] http://goo.gl/HLsynN * Haskell: how to tell hlint not to: `Warning: Use string literal` votes: 7, answers: 1 Read on SO: [41] http://goo.gl/pf5d5O * How are uncurry and fanin related in category theory? votes: 7, answers: 1 Read on SO: [42] http://goo.gl/mo9150 * Haskell Iterate over 2d list, filter, output 1d list votes: 7, answers: 6 Read on SO: [43] http://goo.gl/h47C9e * Haskell why does “Num x” require “Show x”? votes: 7, answers: 3 Read on SO: [44] http://goo.gl/ORddsf * How to avoid creating an orphan FromJSON instance for Data.Tree votes: 7, answers: 1 Read on SO: [45] http://goo.gl/5MAI2k * State Monad with multiple state values votes: 6, answers: 3 Read on SO: [46] http://goo.gl/iuutId * Difference between Print and putStrLn in Haskell votes: 6, answers: 2 Read on SO: [47] http://goo.gl/GqUunm Until next time, [48]+Daniel Santa Cruz References 1. http://skillsmatter.com/podcast/scala/lenses-compositional-data-access-and-… 2. http://www.reddit.com/r/haskell/comments/1o1z8x/simon_peyton_jones_on_lense… 3. http://fvisser.nl/post/2013/okt/11/why-i-dont-like-the-lens-library.html 4. http://www.reddit.com/r/haskell/comments/1o6iqs/why_i_dont_like_the_lens_li… 5. http://ro-che.info/ccc/23 6. http://www.reddit.com/r/haskell/comments/1obeom/cartesian_closed_comic_23_p… 7. http://www.yesodweb.com/blog/2013/10/core-flaw-pipes-conduit 8. http://www.reddit.com/r/haskell/comments/1o1ink/the_core_flaw_of_pipes_and_… 9. http://www.haskellforall.com/2013/10/how-to-reimplement-conduit-parsing-api… 10. http://www.reddit.com/r/haskell/comments/1o3viw/how_to_reimplement_the_cond… 11. http://www.yesodweb.com/blog/2013/10/pipes-resource-problems 12. http://www.reddit.com/r/haskell/comments/1nw7ji/pipes_resource_problems/ 13. http://www.haskell.org/haskellwiki/LensBeginnersCheatsheet 14. http://www.reddit.com/r/haskell/comments/1oa9qx/beginners_cheatsheet_to_the… 15. https://www.youtube.com/watch?v=-sbGijbhxAc 16. http://www.reddit.com/r/haskell/comments/1nvauj/demo_ariadne_gotodefinition… 17. http://justtesting.org/post/63457249417/here-is-the-video-of-my-yow-lambda-… 18. http://www.reddit.com/r/haskell/comments/1nz5j5/do_extraterrestrials_use_fu… 19. http://www.haskellforall.com/2013/10/manual-proofs-for-pipes-laws.html 20. http://www.reddit.com/r/haskell/comments/1nw7yt/haskell_for_all_manual_proo… 21. http://ircbrowse.net/pdfs/haskell/unique 22. http://www.reddit.com/r/haskell/comments/1o23nf/unique_pdfs_linked_in_haske… 23. http://skillsmatter.com/podcast/scala/monads-for-free 24. http://www.reddit.com/r/haskell/comments/1o38fa/andres_l%C3%B6h_on_free_mon… 25. https://www.fpcomplete.com/user/snoyberg/blog-posts/simpler-conduit-core 26. http://www.reddit.com/r/haskell/comments/1o494w/simpler_conduit_core_aka_pa… 27. http://ghc.haskell.org/trac/ghc/wiki/ApplicativeDo 28. http://www.reddit.com/r/haskell/comments/1o7lpm/proposal_for_applicative_do… 29. https://github.com/RommelVR/RayTracer 30. http://www.reddit.com/r/haskell/comments/1nuhze/so_i_kind_of_made_a_haskell… 31. http://www.haskell.org/pipermail/haskell-cafe/2013-October/218522.html 32. http://www.reddit.com/r/haskell/comments/1o4x3m/call_to_action_fay_ffi_bind… 33. http://skillsmatter.com/podcast/home/simon-marlow 34. http://www.reddit.com/r/haskell/comments/1o2mqe/the_haxl_project_at_faceboo… 35. http://community.haskell.org/~ndm/temp/supero.pdf 36. http://www.reddit.com/r/haskell/comments/1o8ksw/rethinking_supercompilation… 37. http://gist.io/6923187 38. http://www.reddit.com/r/haskell/comments/1o63ww/musings_on_lens/ 39. http://stackoverflow.com/questions/19337153/functions-of-possibly-cyclic-da… 40. http://stackoverflow.com/questions/19247753/how-can-i-improve-my-understand… 41. http://stackoverflow.com/questions/19237695/haskell-how-to-tell-hlint-not-t… 42. http://stackoverflow.com/questions/19262581/how-are-uncurry-and-fanin-relat… 43. http://stackoverflow.com/questions/19308845/haskell-iterate-over-2d-list-fi… 44. http://stackoverflow.com/questions/19327792/haskell-why-does-num-x-require-… 45. http://stackoverflow.com/questions/19336569/how-to-avoid-creating-an-orphan… 46. http://stackoverflow.com/questions/19227418/state-monad-with-multiple-state… 47. http://stackoverflow.com/questions/19288652/difference-between-print-and-pu… 48. https://plus.google.com/105107667630152149014/about

1 0

CFP for MSFP 2014
by Neelakantan Krishnaswami 15 Oct '13

15 Oct '13

Fifth Workshop on MATHEMATICALLY STRUCTURED FUNCTIONAL PROGRAMMING 12 April 2014, in Grenoble, France. A satellite workshop of ETAPS 2014 http://www.cs.bham.ac.uk/~pbl/msfp2014/ The fifth workshop on Mathematically Structured Functional Programming is devoted to the derivation of functionality from structure. It is a celebration of the direct impact of Theoretical Computer Science on programs as we write them today. Modern programming languages, and in particular functional languages, support the direct expression of mathematical structures, equipping programmers with tools of remarkable power and abstraction. Where would Haskell be without monads? Functional reactive programming without temporal logic? Call-by-push-value without adjunctions? The list goes on. This workshop is a forum for researchers who seek to reflect mathematical phenomena in data and control. The first MSFP workshop was held in Kuressaare, Estonia, in July 2006, affiliated with MPC 2006 and AMAST 2006. The second MSFP workshop was held in Reykjavik, Iceland as part of ICALP 2008. The third MSFP workshop was held in Baltimore, USA, as part of ICFP 2010. The fourth workshop was held in Tallinn, Estonia, as part of ETAPS 2012. Important Dates: ================ Abstract 24 December 2013 Submission 31 December 2013 Notification 3 February 2014 Final version 10 February 2014 Workshop 12 April 2014 Invited Speakers: ================= To be announced. Program Committee: ================== Andreas Abel, Chalmers and Gothenburg University Neil Ghani, The University of Strathclyde Makoto Hamana, Gunma University Neelakantan R. Krishnaswami (co-chair), University of Birmingham Paul Blain Levy (co-chair), University of Birmingham Rasmus Møgelberg, IT University of Copenhagen Russell O'Connor, McMaster University Submission: =========== Papers must report previously unpublished work and not be submitted concurrently to another conference with refereed proceedings. Accepted papers must be presented at the workshop by one of the authors, and will be published under the auspices of EPTCS under a Creative Commons license. There is no specific page limit, but authors should strive for brevity.

1 0

Looking for a Yesod presentation in Leipzig, Germany
by Johannes Waldmann 14 Oct '13

14 Oct '13

Have you applied Yesod recently? ( http://www.yesodweb.com/ ) Would you enjoy presenting your Yesod project to C.S. master's students during a course (Oberseminar) that I'm teaching at HTWK Leipzig currently? Then email me with details: a short description of your project, preferrably including (link to) source code; and a preferred date (in November or December). The presentation can be in German or in English. Total time is 90 minutes, but this should include (plenty of) discussion, or even live coding. No, I don't have any funding for this - except you'll get free beer at our local Haskell group meeting (Stammtisch) which we can schedule for right after your talk. - Johannes. ( http://www.imn.htwk-leipzig.de/~waldmann/ )

1 0

Call for Talk Proposals: Data-Centric Programming, San Diego, Jan 2014
by Jeremy.Gibbons＠cs.ox.ac.uk 13 Oct '13

13 Oct '13

ACM SIGPLAN Workshop on Data-Centric Programming 2014 ----------------------------------------------------- Colocated with POPL, January 25, 2014 | San Diego, USA http://research.microsoft.com/DCP2014 Submission: November 18, 2013 Notification: December 2, 2013 We're very pleased to announce DCP 2014, an exciting workshop which builds on the success of the Data-Driven Functional Programming (DDFP) workshop at POPL 2013. This workshop is for anyone who loves the application of functional programming (and indeed other programming paradigms as well) to data-rich domains. Please consider submitting to the workshop - whatever your flavor of data, whatever your flavor of data-centric programming. We want this to be a great event that opens up opportunities at the intersection of data and programming. Functional programming techniques are increasingly important in data-centric programming: languages like Haskell, Scala, and C# draw heavily on a range of functional techniques and find application in numerous data-driven domains; paradigms like map/reduce and its extensions lie at the core of modern scalable data processing; and "information-rich" languages like Ur, F#, and Gosu use meta-programming to integrate type-safe queries, web-based APIs, and scalable data sources - along with associated semantically-rich metadata - into the programming language. In principle, the expressiveness, strong typing, and core functional paradigm of these languages make them an ideal choice for expressing robust and scalable data-centric programming. On the other end, the web of data is growing at an enormous pace, with few dedicated software applications capable of dealing efficiently in information-rich spaces. 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 curriculum revision. Properly addressing these issues requires interdisciplinary skills, and the collaboration between academia and industry. Many challenges remain. Workshop Goals -------------- This workshop 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 of semantically-rich data including the development of new languages, extension of existing ones, and the inclusion of semantic-enabled capabilities into existing IDEs. In this forum, we will discuss, promote, and advance the use of data-centric programming in information-rich data spaces - including the development of new programming and data-manipulation systems as well as the extension of existing ones. By devising methods for handling data from the programming level, we can promote the research and development of better data-centric programming technologies as a whole, as well as facilitate the shift towards both principled and effective data-centric computing. Talk Proposals -------------- We want DCP to be as informal and interactive as possible. The program will thus involve a combination of invited talks, contributed talks about work in progress, and open-ended discussion sessions. There will be no published proceedings, but participants will be invited to submit working documents, talk slides, etc. to be posted on the workshop website. We invite proposals for talks in any area related to the connection between programming and data, including, but not limited to: * Formal systems that capture the essential theoretical elements of data-centric programming * Experimental systems that demonstrate novel data-centric programming techniques * Technology that demonstrates correctness, scalability, productivity, robustness, or maintainability of data-centric programs * Schema evolution, schema-type mapping, query languages, probabilistic programming, network-connected programming, or semi-structured data * Programming-related aspects of knowledge representation techniques including database theory, ontology techniques, and linked data * Impact of specific application areas (e.g. e-science, e-gov, sensors) on information-rich application design * Data exploration and visualization * Evaluation of data quality * Plugins and IDEs for information-rich application development * Cleaning and provenance of data, services, and processes Talks about work in progress are particularly encouraged. If you have any questions about the relevance of a particular topic, please contact the PC chairs at the address dcp.2014(a)lambda-calcul.us . We solicit proposals for contributed talks. Proposals should be at most 2 pages, in either plain text or PDF format. We plan to allocate 30-minute talk slots; but proposals for shorter or longer talks will also be considered. Speakers may also submit supplementary material (e.g. a full paper, talk slides) if they desire, which PC members are free (but not expected) to read. Organization ------------ Program Chairs Jeremy Gibbons, University of Oxford, United Kingdom Evelyne Viegas, Microsoft Research, United States Program Committee (others to be confirmed) Soren Auer, University of Leipzig, Germany Nate Foster, Cornell University, United States Juliana Freire, Polytechnic Institute of New York University, United States Erik Meijer, Applied Duality, United States Steffen Staab, University of Koblenz, Germany Don Syme, Microsoft Research Cambridge, United Kingdom

1 0

Haskell Weekly News: Issue 282
by Daniel Santa Cruz 11 Oct '13

11 Oct '13

Welcome to issue 282 of the HWN, an issue covering crowd-sourced bits of information about Haskell from around the web. This issue covers the week of September 22 to October 05, 2013. Quotes of the Week * monochrom: . o O ( error messages are like legalese. it contains complete information so that later lawyers can say "told you so" ) * BetaZiliani: "We escape from monads in the same way that we escape from a building on fire: we run." (#ICFP2013) * ReinH: ReinH's Lemma: There's always a connection to Yoneda's Lemma. * startling: it's sort of depressing when you spend a lot of time with traversals and things to get all your crucial algorithms down to like ten lines and then have like two hundred lines each for pretty-printing and for file I/O. * edwardk: you know that feeling when you wake up in the morning, and your teeth feel fuzzy, you don't know where you've been, but you strongly suspect in 9 months someone will be calling you for library support? * tac: I free the forgotten. * Anonymous: What do you call someone reading a book about category theory? A co-author! * Anonymous: A co-worker == generator of work tasks? * edwardkmett: At one point we had a type in lens where one of its arguments started taking parameters of the form i m a s t a b u. Upon reflection, we let it win the argument and decided not to implement the function. Top Reddit Stories * xkcd - Functional Programming Domain: xkcd.com, Score: 97, Comments: 58 On Reddit: [1] http://goo.gl/XSSTOR Original: [2] http://goo.gl/daH8om * Hackage 2 is up! Domain: hackage.haskell.org, Score: 96, Comments: 20 On Reddit: [3] http://goo.gl/hSyulq Original: [4] http://goo.gl/admcV * Programming - Why Haskell is Great - 10 minutes Domain: youtube.com, Score: 91, Comments: 18 On Reddit: [5] http://goo.gl/SoTDhR Original: [6] http://goo.gl/CwsaFq * GHC: now with -j flag for parallel builds Domain: ghc.haskell.org, Score: 88, Comments: 27 On Reddit: [7] http://goo.gl/tX0YZr Original: [8] http://goo.gl/8SepKH * I can finally say that I'm a Haskell developer (and I'm hiring)! Domain: self.haskell, Score: 85, Comments: 42 On Reddit: [9] http://goo.gl/fr2adZ Original: [10] http://goo.gl/fr2adZ * Hackage 2 switchover imminent Domain: haskell.org, Score: 80, Comments: 14 On Reddit: [11] http://goo.gl/5XyWkt Original: [12] http://goo.gl/Hf3XlL * The Haskell Cast #2 - Don Stewart on Real World Haskell Domain: haskellcast.com, Score: 72, Comments: 11 On Reddit: [13] http://goo.gl/JPukzq Original: [14] http://goo.gl/iOssHA * [ANN] Nomyx, the game where you can change the rules (0.3 beta) Domain: nomyx.net, Score: 57, Comments: 14 On Reddit: [15] http://goo.gl/Z3IFfL Original: [16] http://goo.gl/gmsH5e * The aftermath of my GSoC project Domain: self.haskell, Score: 55, Comments: 6 On Reddit: [17] http://goo.gl/2vAjMs Original: [18] http://goo.gl/2vAjMs * SPJ in need for compelling "lens" use-cases Domain: permalink.gmane.org, Score: 51, Comments: 57 On Reddit: [19] http://goo.gl/6VcDMh Original: [20] http://goo.gl/wEgQUi * Tidal cycles - loops and rhythms made with tweet sized Haskell Domain: twitter.com, Score: 50, Comments: 5 On Reddit: [21] http://goo.gl/zcQqrm Original: [22] http://goo.gl/10bSjH * Who'd have thought: I made a serial monitor with Threepenny-gui Domain: self.haskell, Score: 48, Comments: 14 On Reddit: [23] http://goo.gl/rFBlWl Original: [24] http://goo.gl/rFBlWl * Arrowised Material Shaders in Purely Functional Ray Tracing Domain: tcsavage.org, Score: 44, Comments: 2 On Reddit: [25] http://goo.gl/RHvpLq Original: [26] http://goo.gl/7cDmWq * Work at Erudify Domain: jaspervdj.be, Score: 42, Comments: 5 On Reddit: [27] http://goo.gl/mpFnRa Original: [28] http://goo.gl/gcSs3U * The Universal Properties of Map, Fold, and Filter Domain: jeremykun.com, Score: 41, Comments: 0 On Reddit: [29] http://goo.gl/CksT61 Original: [30] http://goo.gl/j7rSW6 * Conal Elliott : Searching for GUI and Graphics libraries in Haskell Domain: haskell.org, Score: 39, Comments: 29 On Reddit: [31] http://goo.gl/6krMxv Original: [32] http://goo.gl/EYG0af * Type level record syntax... would this make sense? Domain: self.haskell, Score: 39, Comments: 29 On Reddit: [33] http://goo.gl/ysjr3o Original: [34] http://goo.gl/ysjr3o * Haskell Resources List Domain: gist.github.com, Score: 38, Comments: 2 On Reddit: [35] http://goo.gl/vZ9yMH Original: [36] http://goo.gl/Oo75BT * [ANN] yi-0.7 Domain: haskell.org, Score: 38, Comments: 14 On Reddit: [37] http://goo.gl/FihoH9 Original: [38] http://goo.gl/pfx5r5 * Why PVP doesn't work Domain: ro-che.info, Score: 38, Comments: 106 On Reddit: [39] http://goo.gl/XdpZpG Original: [40] http://goo.gl/TkEBzt * Live blog of CUFP 2013 -- a prodigious and growing work of reporting by Anil Madhavapeddy Domain: syslog.cl.cam.ac.uk, Score: 35, Comments: 0 On Reddit: [41] http://goo.gl/JDJJAz Original: [42] http://goo.gl/SvsyBE * What Haskell tools do you use in every project? Domain: self.haskell, Score: 35, Comments: 22 On Reddit: [43] http://goo.gl/9z8Ylr Original: [44] http://goo.gl/9z8Ylr * GHC Core by example, episode 2: Evaluation Domain: alpmestan.com, Score: 35, Comments: 3 On Reddit: [45] http://goo.gl/i7UzV1 Original: [46] http://goo.gl/kuntPM * Oh my laziness! - An introduction to laziness, strictness and unpacking in GHC Haskell Domain: alpmestan.com, Score: 35, Comments: 16 On Reddit: [47] http://goo.gl/Gfwhd0 Original: [48] http://goo.gl/84omB7 * Job opportunity for junior web developer looking to get into Haskell Domain: self.haskell, Score: 35, Comments: 11 On Reddit: [49] http://goo.gl/FqFDff Original: [50] http://goo.gl/FqFDff * Short vlog style video "My Road to Haskell" by jekor Domain: youtube.com, Score: 33, Comments: 1 On Reddit: [51] http://goo.gl/sqjXcT Original: [52] http://goo.gl/GzjCs9 * Arguing against monad transformers for the right reasons Domain: blog.ezyang.com, Score: 32, Comments: 20 On Reddit: [53] http://goo.gl/b2tFy6 Original: [54] http://goo.gl/OfGzvr * Haskell Launchpad Interaction Domain: youtube.com, Score: 32, Comments: 18 On Reddit: [55] http://goo.gl/Qwnhvw Original: [56] http://goo.gl/VlyUqn Top StackOverflow Questions * Sets, Functors and Eq confusion votes: 36, answers: 3 Read on SO: [57] http://goo.gl/2TUC5X * writing a C# version of haskell infinite fibonacci series function votes: 12, answers: 5 Read on SO: [58] http://goo.gl/Nys1p7 * Enforced pattern order votes: 10, answers: 5 Read on SO: [59] http://goo.gl/4yPfrn * Haskell, multiplying Int and Float within a function votes: 10, answers: 4 Read on SO: [60] http://goo.gl/nVsl8Z * What requirements does non-strict semantics of Haskell have on the evaluation strategy? votes: 9, answers: 1 Read on SO: [61] http://goo.gl/wqWIVk * Random access on a huge file in haskell votes: 8, answers: 3 Read on SO: [62] http://goo.gl/gxes9Y * Not using a variable for <- votes: 8, answers: 4 Read on SO: [63] http://goo.gl/jZ9Eqk * A common pattern involving composition of functions (\a b -> f (g a) (g b)) votes: 8, answers: 2 Read on SO: [64] http://goo.gl/FVY6Zl * Haskell data :> constructor meaning votes: 8, answers: 1 Read on SO: [65] http://goo.gl/0ouMUi * In functional reactive programming, how do you share state between two parts of the application? votes: 7, answers: 1 Read on SO: [66] http://goo.gl/vY3Lsq Until next time, [67]+Daniel Santa Cruz References 1. http://xkcd.com/1270/ 2. http://www.reddit.com/r/haskell/comments/1n8gor/xkcd_functional_programming/ 3. http://hackage.haskell.org/ 4. http://www.reddit.com/r/haskell/comments/1n79sh/hackage_2_is_up/ 5. https://www.youtube.com/watch?v=RqvCNb7fKsg 6. http://www.reddit.com/r/haskell/comments/1nfbdm/programming_why_haskell_is_… 7. http://ghc.haskell.org/trac/ghc/ticket/910 8. http://www.reddit.com/r/haskell/comments/1mzfob/ghc_now_with_j_flag_for_par… 9. http://www.reddit.com/r/haskell/comments/1n8zmp/i_can_finally_say_that_im_a… 10. http://www.reddit.com/r/haskell/comments/1n8zmp/i_can_finally_say_that_im_a… 11. http://www.haskell.org/pipermail/haskell-cafe/2013-September/109007.html 12. http://www.reddit.com/r/haskell/comments/1n2rqu/hackage_2_switchover_immine… 13. http://www.haskellcast.com/episode/002-don-stewart-on-real-world-haskell/ 14. http://www.reddit.com/r/haskell/comments/1mymdf/the_haskell_cast_2_don_stew… 15. http://www.nomyx.net/ 16. http://www.reddit.com/r/haskell/comments/1nq468/ann_nomyx_the_game_where_yo… 17. http://www.reddit.com/r/haskell/comments/1n4ips/the_aftermath_of_my_gsoc_pr… 18. http://www.reddit.com/r/haskell/comments/1n4ips/the_aftermath_of_my_gsoc_pr… 19. http://permalink.gmane.org/gmane.comp.lang.haskell.libraries/20400 20. http://www.reddit.com/r/haskell/comments/1nn61l/spj_in_need_for_compelling_… 21. http://twitter.com/tidalcycles/ 22. http://www.reddit.com/r/haskell/comments/1npjrq/tidal_cycles_loops_and_rhyt… 23. http://www.reddit.com/r/haskell/comments/1nidyp/whod_have_thought_i_made_a_… 24. http://www.reddit.com/r/haskell/comments/1nidyp/whod_have_thought_i_made_a_… 25. http://tcsavage.org/blog/2013/06/25/arrowised-materials-in-pfrt/ 26. http://www.reddit.com/r/haskell/comments/1nh0f9/arrowised_material_shaders_… 27. http://jaspervdj.be/posts/2013-09-29-erudify.html 28. http://www.reddit.com/r/haskell/comments/1ngbvi/work_at_erudify/ 29. http://jeremykun.com/2013/09/30/the-universal-properties-of-map-fold-and-fi… 30. http://www.reddit.com/r/haskell/comments/1nqmyg/the_universal_properties_of… 31. http://www.haskell.org/pipermail/haskell-cafe/2013-September/109022.html 32. http://www.reddit.com/r/haskell/comments/1n8c5i/conal_elliott_searching_for… 33. http://www.reddit.com/r/haskell/comments/1nf2ss/type_level_record_syntax_wo… 34. http://www.reddit.com/r/haskell/comments/1nf2ss/type_level_record_syntax_wo… 35. https://gist.github.com/leroux/6395804 36. http://www.reddit.com/r/haskell/comments/1n9z50/haskell_resources_list/ 37. http://www.haskell.org/pipermail/haskell-cafe/2013-October/109156.html 38. http://www.reddit.com/r/haskell/comments/1nn1vw/ann_yi07/ 39. http://ro-che.info/articles/2013-10-05-why-pvp-doesnt-work.html 40. http://www.reddit.com/r/haskell/comments/1ns193/why_pvp_doesnt_work/ 41. http://www.syslog.cl.cam.ac.uk/2013/09/22/liveblogging-cufp-2013/ 42. http://www.reddit.com/r/haskell/comments/1n10u8/live_blog_of_cufp_2013_a_pr… 43. http://www.reddit.com/r/haskell/comments/1nhntw/what_haskell_tools_do_you_u… 44. http://www.reddit.com/r/haskell/comments/1nhntw/what_haskell_tools_do_you_u… 45. http://alpmestan.com/2013/10/01/ghc-core-by-example-episode-2-evaluation/ 46. http://www.reddit.com/r/haskell/comments/1nktj7/ghc_core_by_example_episode… 47. http://alpmestan.com/2013/10/02/oh-my-laziness/ 48. http://www.reddit.com/r/haskell/comments/1nlxlo/oh_my_laziness_an_introduct… 49. http://www.reddit.com/r/haskell/comments/1npram/job_opportunity_for_junior_… 50. http://www.reddit.com/r/haskell/comments/1npram/job_opportunity_for_junior_… 51. http://www.youtube.com/watch?v=mpby_hz8lFc 52. http://www.reddit.com/r/haskell/comments/1n3f8s/short_vlog_style_video_my_r… 53. http://blog.ezyang.com/2013/09/if-youre-using-lift-youre-doing-it-wrong-pro… 54. http://www.reddit.com/r/haskell/comments/1n7mid/arguing_against_monad_trans… 55. http://www.youtube.com/watch?v=7lZ-DcidyMM 56. http://www.reddit.com/r/haskell/comments/1naslm/haskell_launchpad_interacti… 57. http://stackoverflow.com/questions/19177125/sets-functors-and-eq-confusion 58. http://stackoverflow.com/questions/19109152/writing-a-c-sharp-version-of-ha… 59. http://stackoverflow.com/questions/18989916/enforced-pattern-order 60. http://stackoverflow.com/questions/19019093/haskell-multiplying-int-and-flo… 61. http://stackoverflow.com/questions/18944370/what-requirements-does-non-stri… 62. http://stackoverflow.com/questions/18985353/random-access-on-a-huge-file-in… 63. http://stackoverflow.com/questions/19051668/not-using-a-variable-for 64. http://stackoverflow.com/questions/19064694/a-common-pattern-involving-comp… 65. http://stackoverflow.com/questions/19197339/haskell-data-constructor-meaning 66. http://stackoverflow.com/questions/19201901/in-functional-reactive-programm… 67. https://plus.google.com/105107667630152149014/about

1 0

Deadline extension for PEPM 2014 (co-located with POPL in San Diego)
by Jurriaan Hage 08 Oct '13

08 Oct '13

LS. Please consider submitting your work on program transformation, partial evaluation, meta programming and program analysis, to PEPM 2014. Papers can be 12 pages in length ACM style (the size of a typical ICFP and POPL submission). Apologies for multiple postings. best, Jurriaan Hage and Wei-Ngan Chin PEPM 2014 - FINAL DEADLINE EXTENSION ==================================== Due to a number of requests for extensions, the deadline for full paper submission to PEPM 2014 has been extended until 23:59 GMT on Tuesday 15 October. We would like to highlight two aspects of our CFP. Journal Special Issue --------------------- We are planning for a journal special issue of recommended papers from PEPM'14. For this year, we expect the special issue to be with the Science of Computer Programming. Short papers and Tool papers ---------------------------- We are looking for short papers (up to 6pp) and tool papers as well as full research papers. All categories of papers will appear in the formal ACM proceedings. In the case of tool papers, a live demonstration of the described tool is expected during the presentation at PEPM. More details on the PEPM 2014 can be found on web site below. http://www.program-transformation.org/PEPM14

1 0