October 2013 - Haskell

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

Call for Papers - Third International Workshop on Bidirectional Transformations (BX 2014)
by Janis Voigtlaender 04 Oct '13

04 Oct '13

Third International Workshop on Bidirectional Transformations (BX 2014) ======================================================================= Friday March 28th, 2014 Athens, Greece co-located with EDBT/ICDT 2014 http://bx-community.wikidot.com/bx2014:home Bidirectional transformations (bx) are a mechanism for maintaining the consistency of at least two related sources of information. Such sources can be relational data, software models, documents, graphs, trees, and so on. BX are an emerging topic in a wide range of research areas with prominent presence at top conferences in different fields. However, much of the research in bx tends to get limited exposure outside of a single field of study. The purpose of this workshop series is not only to further research into bx, but to promote cross-disciplinary research and awareness in the area. The first two instances of this workshop, BX'12 and BX'13, served as a dedicated venue for bx in all relevant areas, including: - Databases - Programming Languages - Software Engineering - Graph Transformation This instance of the workshop is the first at a database venue. The workshop rotates between venues in different areas to promote the cross-disciplinary nature of the work, as methodologies used for bx range from classical program transformation and updateable views to graph transformation techniques, from ad-hoc techniques for data synchronization to the development of domain-specific languages and their integration. We also solicit papers on model/metamodel co-evolution, which is a different yet closely related subject. Aims and Topics: ---------------- The aim of the workshop is to bring together researchers and practitioners, established and new, interested in bidirectional transformations from different perspectives, such as: - inversion of data exchange mappings - new perspectives on view updatability - data-schema co-evolution and data synchronization - software-model synchronization - consistency analysis - (coupled) software/model transformations - language-based approaches Submissions can be: - novel research concepts and results - position papers and research perspectives - application of bx in new domains - analysis of gaps between formal concepts and application scenarios - examination of the efficiency of algorithms - analysis/classification of requirements for bx technologies - proposals and justification for benchmarks - summary papers providing novel comparisons between existing technologies - case studies and tool support Submitted papers must be in ACM format in accordance with the other workshops and proceedings at EDBT/ICDT. Papers may be 3-8 pages in length; the length of the paper should be appropriate for the level of completeness of the work. Important Dates: ---------------- Paper submission date: 7th Dec 2013 Author notification: 7th Jan 2014 Camera-ready date: 20th Jan 2014 Workshop date: 28th Mar 2014 Accepted papers will be published in the workshop proceedings of EDBT/ICDT and will be available at the conference. Program Committee: ------------------ Anthony Cleve (University of Namur, Belgium) Carlo Aldo Curino (Microsoft, USA) Zinovy Diskin (McMaster University/University of Waterloo, Canada) Romina Eramo (University of L'Aquila, Italy) Todd Green (LogicBlox, Inc, USA) Soichiro Hidaka (co-chair, National Institute of Informatics, Japan) Martin Hofmann (Ludwig-Maximilians-Universität Munich, Germany) Zhenjiang Hu (National Institute of Informatics, Japan) Marie Jacob (University Of Pennsylvania, USA) Michael Johnson (Macquarie University, Australia) Peter McBrien (Imperial College, UK) Fernando Orejas (Technical University of Catalonia, Spain) Andy Schürr (Technical University of Darmstadt, Germany) Perdita Stevens (University of Edinburgh, UK) James Terwilliger (co-chair, Microsoft, USA) Janis Voigtländer (University of Bonn, Germany) Meng Wang (Chalmers University of Technology, Sweden) Yingfei Xiong (Peking University, China)

1 0

2nd CFP: PLPV 2014, Programming Languages meets Program Verification
by Nils Anders Danielsson 01 Oct '13

01 Oct '13

Second call for papers: PLPV 2014 Programming Languages meets Program Verification San Diego, CA, USA Co-located with POPL 2014 http://www.cse.chalmers.se/~nad/plpv-2014/ Overview -------- The goal of PLPV is to foster and stimulate research at the intersection of programming languages and program verification, by bringing together experts from diverse areas like types, contracts, interactive theorem proving, model checking and program analysis. Work in this area typically attempts to reduce the burden of program verification by taking advantage of particular semantic or structural properties of the programming language. One example is provided by dependently typed programming languages, which make it possible to specify and check rich specifications using the languages' type systems. Another example is provided by extended static checking systems, which incorporate contracts with either static or dynamic contract checking. We invite submissions on all aspects, both theoretical and practical, of the integration of programming language and program verification technology. To encourage interaction between different communities, we seek a broad scope for PLPV. In particular, submissions may have diverse foundations for verification (based on types, Hoare-logic, abstract interpretation, etc.), target different kinds of programming languages (functional, imperative, object-oriented, etc.), and apply to diverse kinds of program properties (data structure invariants, security properties, temporal protocols, resource constraints, etc.). Important dates --------------- * Submission deadline: 2013-10-09T24:00-12 (midnight at the end of October 9, 2013, UTC-12) * Author notification: November 1, 2013 * Camera-ready papers due: November 17, 2013 * Workshop: January 21, 2014 Submissions ----------- For details about how to format submissions, where to send them, etc., see http://www.cse.chalmers.se/~nad/plpv-2014/call-for-papers.html. Programme committee ------------------- * Adam Chlipala, MIT * Nils Anders Danielsson, University of Gothenburg (co-chair) * Manuel Fähndrich, Microsoft Research * Philipp Haller, Typesafe * Bart Jacobs, Katholieke Universiteit Leuven (co-chair) * Chantal Keller, Aarhus University * Neelakantan R. Krishnaswami, Max Planck Institute for Software Systems * Andres Löh, Well-Typed LLP * Magnus O. Myreen, University of Cambridge * Alexander J. Summers, ETH Zurich

1 0