June 2014 - Haskell - Haskell.org

Professorship Available
by Neil Ghani 22 Jun '14

22 Jun '14

Dear All We are looking for a new professor and Head of Department at Strathclyde. People on the Haskell list might be interested as there is a significant amount of functional programming done here so you should find fertile soil to put down roots. Details can be found at www.jobs.ac.uk/job/AIZ356/head-of-department/ If you are at all interested, even vaguely, then please do drop me a line. Always happy to chat …. All the best Neil

1 0

ANNOUNCE: blank-canvas
by Andrew Gill 21 Jun '14

21 Jun '14

Announcing blank-canvas 0.4.0, a Haskell binding to the complete HTML5 Canvas API. blank-canvas allows Haskell users to write, in Haskell, interactive images onto their web browsers, via a specialized JavaScript DSL. First Example: {-# LANGUAGE OverloadedStrings #-} module Main where import Graphics.Blank -- import the blank canvas main = blankCanvas 3000 $ \ context -> do -- start blank canvas on port 3000 send context $ do -- send commands to this specific context moveTo(50,50) lineTo(200,100) lineWidth 10 strokeStyle "red" stroke() -- this draws the ink into the canvas There are around 50 examples on the blank-canvas wiki: https://github.com/ku-fpg/blank-canvas/wiki Enjoy! FPG@KU

1 0

Haskell Weekly News: Issue 297
by Daniel Santa Cruz 19 Jun '14

19 Jun '14

Welcome to issue 297 of the HWN, an issue covering crowd-sourced bits of information about Haskell from around the web. This issue covers from June 8 to 14, 2014 Quotes of the Week * dpwright: this afternoon I've literally taken an entire (portrait) screen's worth of code and reduced it to about three lines and a few lens operators * tommd: Haskell is a great language. I needed to test a program under high CPU load, so to burn some cycles I cabal-installed lens. Is there anything Haskell can't do? * bernalex: I imagine hell as a place where spj & edwardk are holding talks at the same time and I have to choose. Top Reddit Stories * Haxl on Github Domain: github.com, Score: 124, Comments: 25 Original: [1] http://goo.gl/zw8Y8q On Reddit: [2] http://goo.gl/FoV1zw * www.dohaskell.com Domain: dohaskell.com, Score: 92, Comments: 23 Original: [3] http://goo.gl/uxmtUy On Reddit: [4] http://goo.gl/xkGJUb * cloud-haskell is on hackage now Domain: hackage.haskell.org, Score: 87, Comments: 7 Original: [5] http://goo.gl/eCHMgO On Reddit: [6] http://goo.gl/h9j7H1 * Facebook releases Haxl, a library for async data access Domain: code.facebook.com, Score: 65, Comments: 0 Original: [7] http://goo.gl/D6xEnM On Reddit: [8] http://goo.gl/GCqeEt * The problem with mtl Domain: ro-che.info, Score: 61, Comments: 58 Original: [9] http://goo.gl/hDncB8 On Reddit: [10] http://goo.gl/2uRfm2 * Why programmers can’t make any money: dimensionality and the Eternal Haskell Tax Domain: michaelochurch.wordpress.com, Score: 56, Comments: 37 Original: [11] http://goo.gl/Ums4cZ On Reddit: [12] http://goo.gl/ytLSN2 * A Year of Functional Programming Domain: japgolly.blogspot.com.au, Score: 52, Comments: 17 Original: [13] http://goo.gl/torrXD On Reddit: [14] http://goo.gl/XTSVed * Haskell for all: Spreadsheet-like programming in Haskell Domain: haskellforall.com, Score: 52, Comments: 26 Original: [15] http://goo.gl/eaaeHa On Reddit: [16] http://goo.gl/biUwQf * GHC bug squashing at ZuriHac 2014 Domain: joachim-breitner.de, Score: 50, Comments: 0 Original: [17] http://goo.gl/zgd6qV On Reddit: [18] http://goo.gl/HDp0Wt * There is no Fork—our ICFP 2014 paper about Haxl Domain: community.haskell.org, Score: 47, Comments: 4 Original: [19] http://goo.gl/yvbvAH On Reddit: [20] http://goo.gl/pwcBxO * EclipseFP 2.6.0 released Domain: jpmoresmau.blogspot.fr, Score: 46, Comments: 18 Original: [21] http://goo.gl/fohXYx On Reddit: [22] http://goo.gl/duJMir * Haskell Development Workflow Demo, first video I've made, wanted to see if any found it useful Domain: youtube.com, Score: 44, Comments: 11 Original: [23] http://goo.gl/O1REsS On Reddit: [24] http://goo.gl/KTK1kk * Announcement: Bang, a drum machine DSL for Haskell Domain: self.haskell, Score: 42, Comments: 17 Original: [25] http://goo.gl/QVlj3E On Reddit: [26] http://goo.gl/QVlj3E * How do you learn to write systems in Haskell? (and a story) Domain: self.haskell, Score: 42, Comments: 66 Original: [27] http://goo.gl/PXiZUD On Reddit: [28] http://goo.gl/PXiZUD * The Haskell Cast #7 - Chris Done on Compiling to JavaScript and SQL Domain: haskellcast.com, Score: 41, Comments: 15 Original: [29] http://goo.gl/747Kpj On Reddit: [30] http://goo.gl/n0nlLJ * ICFP 2014 accepted papers Domain: github.com, Score: 40, Comments: 3 Original: [31] http://goo.gl/XZ962N On Reddit: [32] http://goo.gl/VnuyDW * cabal - the simple guide Domain: katychuang.com, Score: 40, Comments: 16 Original: [33] http://goo.gl/svwYE1 On Reddit: [34] http://goo.gl/oGidxo * Two failed attempts at extensible effects Domain: ro-che.info, Score: 37, Comments: 12 Original: [35] http://goo.gl/DD7WX9 On Reddit: [36] http://goo.gl/wh8fWW * Follow up blog post: "Understanding the RealWorld": the Haskell heap, function calls, and primitive types. Domain: well-typed.com, Score: 34, Comments: 12 Original: [37] http://goo.gl/9OMjWu On Reddit: [38] http://goo.gl/N0B4cJ * "Why Haskell?" Elevator Pitch Domain: self.haskell, Score: 33, Comments: 70 Original: [39] http://goo.gl/xsIOqw On Reddit: [40] http://goo.gl/xsIOqw Top StackOverflow Questions * Why should Applicative be a superclass of Monad? votes: 21, answers: 3 Read on SO: [41] http://goo.gl/Z1Q6uo * What do you call the data wrapped inside a monad? votes: 15, answers: 2 Read on SO: [42] http://goo.gl/iNtQAX * What algorithm is used in Haskell (GHC) for deriving types of recursive expressions? votes: 14, answers: 1 Read on SO: [43] http://goo.gl/7QvfqM * What container really mimics std::vector in Haskell? votes: 14, answers: 4 Read on SO: [44] http://goo.gl/k0vk2n * Why the cycle function cannot work with empty list? votes: 14, answers: 2 Read on SO: [45] http://goo.gl/B5Na0a Until next time, [46]+Daniel Santa Cruz References 1. https://github.com/facebook/Haxl 2. http://www.reddit.com/r/haskell/comments/27sv88/haxl_on_github/ 3. http://www.dohaskell.com/ 4. http://www.reddit.com/r/haskell/comments/27wjwk/wwwdohaskellcom/ 5. http://hackage.haskell.org/package/cloud-haskell-0.0.1.0 6. http://www.reddit.com/r/haskell/comments/281sbp/cloudhaskell_is_on_hackage_… 7. https://code.facebook.com/projects/854888367872565/haxl/ 8. http://www.reddit.com/r/haskell/comments/27syj2/facebook_releases_haxl_a_li… 9. http://ro-che.info/articles/2014-06-11-problem-with-mtl.html 10. http://www.reddit.com/r/haskell/comments/27vhd1/the_problem_with_mtl/ 11. http://michaelochurch.wordpress.com/2014/06/06/why-programmers-cant-make-an… 12. http://www.reddit.com/r/haskell/comments/27onwq/why_programmers_cant_make_a… 13. http://japgolly.blogspot.com.au/2014/06/a-year-of-functional-programming.ht… 14. http://www.reddit.com/r/haskell/comments/27oxr4/a_year_of_functional_progra… 15. http://www.haskellforall.com/2014/06/spreadsheet-like-programming-in-haskel… 16. http://www.reddit.com/r/haskell/comments/284enc/haskell_for_all_spreadsheet… 17. http://www.joachim-breitner.de/blog/archives/651-ZuriHac-2014.html 18. http://www.reddit.com/r/haskell/comments/27p2nc/ghc_bug_squashing_at_zuriha… 19. http://community.haskell.org/~simonmar/papers/haxl-icfp14.pdf 20. http://www.reddit.com/r/haskell/comments/27tjpj/there_is_no_forkour_icfp_20… 21. http://jpmoresmau.blogspot.fr/2014/06/eclipsefp-260-released.html 22. http://www.reddit.com/r/haskell/comments/27utrw/eclipsefp_260_released/ 23. https://www.youtube.com/watch?v=Li6oaO8x2VY 24. http://www.reddit.com/r/haskell/comments/27lcz3/haskell_development_workflo… 25. http://www.reddit.com/r/haskell/comments/27s6py/announcement_bang_a_drum_ma… 26. http://www.reddit.com/r/haskell/comments/27s6py/announcement_bang_a_drum_ma… 27. http://www.reddit.com/r/haskell/comments/28575l/how_do_you_learn_to_write_s… 28. http://www.reddit.com/r/haskell/comments/28575l/how_do_you_learn_to_write_s… 29. http://www.haskellcast.com/episode/007-chris-done-on-compiling-to-javascrip… 30. http://www.reddit.com/r/haskell/comments/27sh2d/the_haskell_cast_7_chris_do… 31. https://github.com/yallop/icfp2014-papers/blob/master/README.md 32. http://www.reddit.com/r/haskell/comments/27p8xo/icfp_2014_accepted_papers/ 33. http://katychuang.com/cabal-guide/ 34. http://www.reddit.com/r/haskell/comments/280h9h/cabal_the_simple_guide/ 35. http://ro-che.info/articles/2014-06-14-extensible-effects-failed.html 36. http://www.reddit.com/r/haskell/comments/285prk/two_failed_attempts_at_exte… 37. http://www.well-typed.com/blog/95/ 38. http://www.reddit.com/r/haskell/comments/27yg67/follow_up_blog_post_underst… 39. http://www.reddit.com/r/haskell/comments/282yky/why_haskell_elevator_pitch/ 40. http://www.reddit.com/r/haskell/comments/282yky/why_haskell_elevator_pitch/ 41. http://stackoverflow.com/questions/24112786/why-should-applicative-be-a-sup… 42. http://stackoverflow.com/questions/24127190/what-do-you-call-the-data-wrapp… 43. http://stackoverflow.com/questions/24105812/what-algorithm-is-used-in-haske… 44. http://stackoverflow.com/questions/24123967/what-container-really-mimics-st… 45. http://stackoverflow.com/questions/24223201/why-the-cycle-function-cannot-w… 46. https://plus.google.com/105107667630152149014/about

1 0

ANNOUNCE: haste-perch
by Alberto G. Corona 18 Jun '14

18 Jun '14

Hi, haste-perch defines builder elements (perchs) for Haste.DOM elements that are appendable, so that dynamic HTML can be created in the client in a natural way, like textual HTML, but programmatically and with the advantage of static type checking. It can be ported to other haskell-js compilers. http://hackage.haskell.org/package/haste-perch This program, when compiled with haste: main= do withElem "idelem" $ build $ do div $ do div $ do p "hello" p ! atr "style" "color:red" $ "world" return () Creates these element: <div id= "idelem"> <-- was already in the HTML <div> <div> <p> hello </p> <p style= "color:red"> world </p> </div> </div> </div> Since the creation is in the browser, that permit quite dynamic pages for data presentation, and interctive textual (a.k.a "serious") applications and, in general the development of client-side web frameworks using haskell with the haste compiler. See the README in the git repository: https://github.com/agocorona/haste-perch -- Alberto.

2 3

ANN: haddock-library 1.0.0
by Mateusz Kowalczyk 18 Jun '14

18 Jun '14

Hi, haddock-library is a package aiming to provide bits of Haddock to the rest of the Haskell world without imposing the GHC dependency that we have on the ‘haddock’ package itself. Please note that this does not deprecate the ‘haddock’ package which aims to expose other bits of Haddock, including those talking with GHC. Specifically, 1.0.0 exposes the types used by the comment parser and the parser itself. This allows you to supply the Haddock parser with String and get a Haddock ADT back out to play with. This means that if in the past you were processing Haddock strings with your own solution (or copy + pasted Alex parser we had) then you should now switch to this package instead. The API is subject to change so upper version bound is advised. Tested on 7.6.3, 7.8.x and current HEAD. The parser exposed is what is used in Haddock itself which now internally depends on this package. There are plans to move more parts into this package, exposing as much useful functionality as possible without the GHC dependency. New releases are independent of the GHC release cycle, unlike Haddock itself. To file issues for this package, use the Haddock issue tracker that's now on GitHub. Thanks -- Mateusz K.

1 0

Second Call for Papers: OCL 2014
by Achim D. Brucker 13 Jun '14

13 Jun '14

(Apologies for duplicates) CALL FOR PAPERS 14th International Workshop on OCL and Textual Modeling Applications and Case Studies (OCL 2014) Co-located with ACM/IEEE 17th International Conference on Model Driven Engineering Languages and Systems (MODELS 2014) September 28-30 (tbc), 2014, VALENCIA, SPAIN http://www.software.imdea.org/OCL2014/ Modeling started out with UML and its precursors as a graphical notation. Such visual representations enable direct intuitive capturing of reality, but some of their features are difficult to formalize and lack the level of precision required to create complete and unambiguous specifications. Limitations of the graphical notations encouraged the development of text-based modeling languages that either integrate with or replace graphical notations for modeling. Typical examples of such languages are OCL, textual MOF, Epsilon, and Alloy. Textual modeling languages have their roots in formal language paradigms like logic, programming and databases. The goal of this workshop is create a forum where researchers and practitioners interested in building models using OCL or other kinds of textual languages can directly interact, report advances, share results, identify tools for language development, and discuss appropriate standards. In particular, the workshop will encourage discussions for achieving synergy from different modeling language concepts and modeling language use. The close interaction will enable researchers and practitioners to identify common interests and options for potential cooperation. Topics of interest include (but are not limited to) =================================================== - Mappings between textual modeling languages and other languages/formalisms - Algorithms, evaluation strategies and optimizations in the context of textual modeling languages for -- validation, verification, and testing, -- model transformation and code generation, -- metamodeling and DSLs, and -- query and constraint specifications - Alternative graphical/textual notations for textual modeling languages - Evolution, transformation and simplification of textual modeling expressions - Libraries, templates and patterns for textual modeling languages - Complexity results for textual modeling languages - Quality models and benchmarks for comparing and evaluating textual modeling tools and algorithms - Successful applications of textual modeling languages - Case studies on industrial applications of textual modeling languages - Experience reports -- usage of textual modeling languages and tools in complex domains, -- usability of textual modeling languages and tools for end-users - Empirical studies about the benefits and drawbacks of textual modeling languages - Innovative textual modeling tools - Comparison, evaluation and integration of modeling languages - Correlation between modeling languages and modeling tasks This year, we particularly encourage submissions describing applications and case studies of textual modeling as well as test suites and benchmark collections for evaluating textual modeling tools. Venue ===== The workshop will be organized as a part of MODELS 2014 Conference in Valencia, Spain. It continues the series of OCL workshops held at UML/MODELS conferences: York (2000), Toronto (2001), San Francisco (2003), Lisbon (2004), Montego Bay (2005), Genova (2006), Nashville (2007), Toulouse (2008), Denver (2009), Oslo (2010), Zurich (2011, at the TOOLs conference), 2012 in Innsbruck, and 2013 in Miami. Similar to its predecessors, the workshop addresses both people from academia and industry. The aim is to provide a forum for addressing integration of OCL and other textual modeling languages, as well as tools for textual modeling, and for disseminating good practice and discussing the new requirements for textual modeling. Workshop Format =============== The workshop will include short (about 15 min) presentations, parallel sessions of working groups, and sum-up discussions. Submissions =========== Two types of papers will be considered: * short papers (6 pages) and * full papers (10 pages) in LNCS format. Submissions should be uploaded to EasyChair (https://www.easychair.org/conferences/?conf=ocl2014) The program committee will review the submissions (minimum 2 reviews per paper, usually 3 reviews) and select papers according to their relevance and interest for discussions that will take place at the workshop. Accepted papers will be published online in a pre-conference edition of CEUR (http://www.ceur-ws.org) Authors of selected papers will be invited to submit an extended version of their workshop paper to a special issue of the Electronic Communications of the EASST (http://journal.ub.tu-berlin.de/eceasst) Important Dates =============== Submission of papers: July 11, 2014 Notification: August 8, 2014 Workshop date: one day during September 28-30, 2014 Organizers ========== Achim D. Brucker, SAP AG, Germany Carolina Dania, IMDEA Software Institute, Madrid, Spain Geri Georg, Colorado State University, Fort Collins, Colorado, USA Martin Gogolla, University of Bremen, Germany Programme Committee (partly confirmation pending) =================== Michael Altenhofen, SAP AG, Germany Thomas Baar, University of Applied Sciences Berlin, Germany Mira Balaban, Ben-Gurion University of the Negev, Israel Tricia Balfe, Nomos Software, Ireland Fabian Buettner, Ecole des Mines de Nantes, France Achim D. Brucker, SAP AG, Germany Jordi Cabot, INRIA-Ecole des Mines de Nantes, France Yoonsik Cheon, University of Texas, USA Dan Chiorean, Babes-Bolyai University, Romania Robert Clariso, Universitat Oberta de Catalunya, Spain Tony Clark, Middlesex University, UK Manuel Clavel, IMDEA Software Institute, Madrid, Spain Carolina Dania, IMDEA Software Institute, Madrid, Spain Birgit Demuth, Technische Universitat Dresden, Germany Marina Egea, Atos Research, Madrid, Spain Geri Georg, Colorado State University, Fort Collins, Colorado, USA Martin Gogolla, University of Bremen, Germany Pieter Van Gorp, Eindhoven University of Technology, The Netherlands Heinrich Hussmann, LMU Munchen, Germany Tihamer Levendovszky, Vanderbilt University, USA Shahar Maoz, Tel Aviv University, Israel Istvan Rath, Budapest University of Technology and Economics, Hungary Bernhard Rumpe, RWTH Aachen, Germany Shane Sendall, Snowie Research SA, Switzerland Michael Wahler, ABB Switzerland Ltd Corporate Research, Switzerland Claas Wilke, Technische Universitat Dresden, Germany Edward Willink, Willink Transformations Ltd., UK Burkhart Wolff, Univ Paris-Sud, France Steffen Zschaler, King’s College, London, UK -- Dr. Achim D. Brucker, SAP AG, Vincenz-Priessnitz-Str. 1, D-76131 Karlsruhe Phone: +49 6227 7-52595, http://www.brucker.ch/

1 0

HART 2014 - Second Workshop on Haskell And Rewriting Techniques (co-located with ICFP 2014)
by Janis Voigtlaender 13 Jun '14

13 Jun '14

2nd CALL FOR PAPERS Second Workshop on Haskell And Rewriting Techniques (HART 2014) http://www.program-transformation.org/HART14/ To be held on September 5, co-located with ICFP, the Haskell Symposium, etc., in Gothenburg. Haskell is an advanced purely-functional programming language. Pure functional programming is programming with equations, often defined by pattern-matching. Rewriting is the science of replacing equals by equals and thus a very powerful method for dealing with equations, often constructor-based. There are strong connections between Haskell (or generally, pure functional) programming and rewriting. The purpose of the HART workshop is to foster those connections. In addition to an invited talk by Oleg Kiselyov, we plan a half day of discussions, in an informal setting, on how Haskell (and related languages) and rewriting techniques and theories can cross-fertilize each other. Topics of interest are, for example: ==================================== - equational reasoning and other rewriting techniques for program verification and analysis; - lambda calculi and type systems for functional programs and higher-order rewrite systems; - rewriting of type expressions in the type checker; - rewriting of programs by refactoring tools, optimizers, code generators; - execution of programs as a form of graph rewriting (terms with sharing); - Template Haskell, generally introducing a rewriting-like macro language into the compilation process. This list of topics is non-exclusive. If you have a contribution that connects Haskell and rewriting, then submit. Also, the workshop is deliberately open for discussion of rewriting-related aspects of languages like Agda, Clean, ... When in doubt, please contact a member of the PC (see below). Dates: ====== July 2: deadline for submissions July 21: notification of acceptance September 5: workshop Submission and proceedings: =========================== We solicit two types of submissions: - Extended abstracts. Presenting original research, and also preliminary reports of work in progress. Will be included in the proceedings. - Presentation-only papers. Describing work recently published or submitted. Only abstract will be included in the proceedings. Papers should be at most 5 pages in length, and should use the easychair.cls style. Submission is electronically at https://www.easychair.org/conferences/?conf=hart2014 In line with the informal style of the workshop, the reviewing of submissions will be light. Proceedings will be made available electronically. Program committee: ================== Bertram Felgenhauer Carsten Fuhs Andy Gill Makoto Hamana Bastiaan Heeren Femke van Raamsdonk Tiark Rompf Kristoffer Rose (co-chair) Christian Sternagel Janis Voigtländer (co-chair) Johannes Waldmann

1 0

ANN: io-memoize 1.1
by Dan Burton 12 Jun '14

12 Jun '14

Have you ever wanted to restrict an IO action such that it could only be invoked once? Now you can with System.IO.Memoize.once (formerly known as ioMemo). Need slightly more complicated logic? (e.g. An IO callback that takes an argument but then only executes the first time around, essentially ignoring the argument the other times it is called.) Leverage the dead simple "write once" Control.Concurrent.Cache api for fun and profit. 1. Create an empty cache with newCache 2. fetch repeatedly from the cache, each time providing a fallback in case it is empty. 3. There is no step 3. Fetching from a Cache is thread safe: only one "fallback" will execute at a time, and after the first successful fallback, the cached value will be set and no other fallbacks will be called. -- Dan Burton

1 0

Haskell Weekly News: Issue 296
by Daniel Santa Cruz 12 Jun '14

12 Jun '14

Welcome to issue 296 of the HWN, an issue covering crowd-sourced bits of information about Haskell from around the web. This issue covers from May 25 to June 7, 2014 Quotes of the Week * mbrock: then you get into a whole thing about the epistemology of abstract algebra, and someone brings up Wittgenstein, somebody brings out a bottle of wine, and it's yet another one of those nights Top Reddit Stories * An alternative Haskell home page Domain: chrisdone.com, Score: 160, Comments: 57 Original: [1] http://goo.gl/Yw2G3a On Reddit: [2] http://goo.gl/m19Ujx * Third generation of the attoparsec parsing library Domain: serpentine.com, Score: 82, Comments: 22 Original: [3] http://goo.gl/kk8i50 On Reddit: [4] http://goo.gl/LZzevb * Music-Suite Domain: music-suite.github.io, Score: 81, Comments: 44 Original: [5] http://goo.gl/u69ybm On Reddit: [6] http://goo.gl/EYKMwI * Erik Meijer: Introduction to Functional Programming Domain: edx.org, Score: 79, Comments: 11 Original: [7] http://goo.gl/YrfbA3 On Reddit: [8] http://goo.gl/oLRm6k * The abject failure of weak typing Domain: techblog.realestate.com.au, Score: 72, Comments: 28 Original: [9] http://goo.gl/h5XDVZ On Reddit: [10] http://goo.gl/nfnLNN * Lazy Dynamic Programming Domain: jelv.is, Score: 64, Comments: 12 Original: [11] http://goo.gl/kdSbkh On Reddit: [12] http://goo.gl/I6XVa8 * First Person 3D Navigation, written in Elm Domain: github.com, Score: 62, Comments: 0 Original: [13] http://goo.gl/qLM3FD On Reddit: [14] http://goo.gl/CRNW6M * Haskell Platform Redesign Domain: self.haskell, Score: 57, Comments: 39 Original: [15] http://goo.gl/A2OqV4 On Reddit: [16] http://goo.gl/A2OqV4 * Benjamin Pierce on clean-slate security architectures Domain: intelligence.org, Score: 54, Comments: 2 Original: [17] http://goo.gl/dCWGlr On Reddit: [18] http://goo.gl/ns7SF6 * Idris 0.9.13 released, featuring a new erasure implementation, Haddock- and Hoogle-inspired tools, and improved IDE support Domain: idris-lang.org, Score: 53, Comments: 6 Original: [19] http://goo.gl/rf9i2U On Reddit: [20] http://goo.gl/tByoYR * Brilliant explanation of Free Monad + Interpreter pattern. Domain: programmers.stackexchange.com, Score: 52, Comments: 16 Original: [21] http://goo.gl/5wVfG1 On Reddit: [22] http://goo.gl/bCb0tD * I got lenses in my Functor Domain: izbicki.me, Score: 52, Comments: 35 Original: [23] http://goo.gl/9xAo4g On Reddit: [24] http://goo.gl/kZBcK8 * The GHC Runtime System [pdf] Domain: scs.stanford.edu, Score: 50, Comments: 15 Original: [25] http://goo.gl/J2iH4W On Reddit: [26] http://goo.gl/B2AiSo * The typeparams library provides a lens-like interface for type level parameters; it allows unboxing unboxed vectors (with benchmarks indicating a 25% performance gain) and supercompilation-like optimizations (with benchmarks showing 40x performance gain in some cases) Domain: github.com, Score: 49, Comments: 14 Original: [27] http://goo.gl/jzIn2E On Reddit: [28] http://goo.gl/fdiRHU * LiquidHaskell: Pointers Gone Wild Domain: goto.ucsd.edu, Score: 48, Comments: 16 Original: [29] http://goo.gl/aKyRnQ On Reddit: [30] http://goo.gl/pexvtf * Sed implementation in Haskell - Episode 6 [youtube] Domain: youtube.com, Score: 45, Comments: 5 Original: [31] http://goo.gl/JQ2ONf On Reddit: [32] http://goo.gl/vLQWVJ * Call Arity [pdf]: A new analysis implemented in GHC Domain: joachim-breitner.de, Score: 44, Comments: 6 Original: [33] http://goo.gl/BdEFfs On Reddit: [34] http://goo.gl/OSv5Rb Top StackOverflow Questions * Understanding Haskell's Bool Deriving an Ord votes: 17, answers: 2 Read on SO: [35] http://goo.gl/7W9WRb * Precise flow control in Haskell votes: 14, answers: 0 Read on SO: [36] http://goo.gl/uoA9i1 * Why aren't there existentially quantified type variables in GHC Haskell votes: 14, answers: 2 Read on SO: [37] http://goo.gl/ZeBJTK * Is the concept of an “interleaved homomorphism” a real thing? votes: 14, answers: 3 Read on SO: [38] http://goo.gl/gpIH6b * Is it possible to get `-=` working with literals? votes: 12, answers: 1 Read on SO: [39] http://goo.gl/R40i7q * How much overhead does sparking incur? votes: 11, answers: 1 Read on SO: [40] http://goo.gl/ixWkKL Until next time, [41]+Daniel Santa Cruz References 1. http://chrisdone.com/posts/haskell-lang 2. http://www.reddit.com/r/haskell/comments/26rilp/an_alternative_haskell_home… 3. http://www.serpentine.com/blog/2014/05/31/attoparsec/ 4. http://www.reddit.com/r/haskell/comments/26xyah/third_generation_of_the_att… 5. http://music-suite.github.io/docs/ref/ 6. http://www.reddit.com/r/haskell/comments/27djwy/musicsuite/ 7. https://www.edx.org/course/delftx/delftx-fp101x-introduction-functional-2126 8. http://www.reddit.com/r/haskell/comments/27bnt7/erik_meijer_introduction_to… 9. http://techblog.realestate.com.au/the-abject-failure-of-weak-typing/ 10. http://www.reddit.com/r/haskell/comments/26pi5b/the_abject_failure_of_weak_… 11. http://jelv.is/blog/Lazy-Dynamic-Programming 12. http://www.reddit.com/r/haskell/comments/26jh2w/lazy_dynamic_programming/ 13. https://github.com/evancz/first-person-elm#first-person-3d-navigation-in-elm 14. http://www.reddit.com/r/haskell/comments/26mjak/first_person_3d_navigation_… 15. http://www.reddit.com/r/haskell/comments/26g9y8/haskell_platform_redesign/ 16. http://www.reddit.com/r/haskell/comments/26g9y8/haskell_platform_redesign/ 17. http://intelligence.org/2014/05/11/benjamin-pierce/ 18. http://www.reddit.com/r/haskell/comments/274k69/benjamin_pierce_on_cleansla… 19. http://www.idris-lang.org/idris-0-9-13-released/ 20. http://www.reddit.com/r/haskell/comments/279wl7/idris_0913_released_featuri… 21. http://programmers.stackexchange.com/questions/242795/what-is-the-free-mona… 22. http://www.reddit.com/r/haskell/comments/2788cw/brilliant_explanation_of_fr… 23. http://izbicki.me/blog/i-got-lenses-in-my-functors 24. http://www.reddit.com/r/haskell/comments/27h0wk/i_got_lenses_in_my_functor/ 25. http://www.scs.stanford.edu/14sp-cs240h/slides/ghc-rts.pdf 26. http://www.reddit.com/r/haskell/comments/26qshw/the_ghc_runtime_system_pdf/ 27. https://github.com/mikeizbicki/typeparams#the-typeparams-library 28. http://www.reddit.com/r/haskell/comments/27avw8/the_typeparams_library_prov… 29. http://goto.ucsd.edu/~rjhala/liquid/haskell/blog/blog/2014/05/28/pointers-g… 30. http://www.reddit.com/r/haskell/comments/26redl/liquidhaskell_pointers_gone… 31. https://www.youtube.com/watch?v=GKRjVITL_oA 32. http://www.reddit.com/r/haskell/comments/26th92/sed_implementation_in_haske… 33. http://www.joachim-breitner.de/publications/CallArity-TFP.pdf 34. http://www.reddit.com/r/haskell/comments/26fdxq/call_arity_pdf_a_new_analys… 35. http://stackoverflow.com/questions/23880626/understanding-haskells-bool-der… 36. http://stackoverflow.com/questions/23869547/precise-flow-control-in-haskell 37. http://stackoverflow.com/questions/23940487/why-arent-there-existentially-q… 38. http://stackoverflow.com/questions/24090758/is-the-concept-of-an-interleave… 39. http://stackoverflow.com/questions/23875471/is-it-possible-to-get-working-w… 40. http://stackoverflow.com/questions/23877737/how-much-overhead-does-sparking… 41. https://plus.google.com/105107667630152149014/about

1 0

Call for participation: HLPP 2014 - 7th Symposium on High-Level Parallel Programming and Applications
by Clemens Grelck 09 Jun '14

09 Jun '14

=========================================================================== CALL FOR PARTICIPATION HLPP 2014 7th International Symposium on High-level Parallel Programming and Applications Amsterdam, Netherlands July 3-4, 2014 https://sites.google.com/site/hlpp2014amsterdam/ =========================================================================== Early registration deadline: June 16 =========================================================================== Keynote: Frank Schlimbach, Intel: Design and Implementation of Intel Concurrent Collections (CnC) Abstract: CnC (concurrent collections) is a parallel language in the sense that its goal is parallel execution but in fact a CnC program does not indicate what runs in parallel. Instead, it identifies what precludes parallel execution. There are exactly two reasons that computations cannot execute in parallel. If one computation produces data that the other one consumes, the producer must execute before the consumer. If one computation determines if another will execute, the controller must execute before the controllee. So CnC is not a dataflow language. It is more of a data and control flow language together with tuple-space influence. However, it is closer in philosophy to the PDG (Program Dependence Graph) intermediate form than to other parallel programming languages. The talk will introduce CnC and present some active research topics. =========================================================================== Aims and scope: As processor and system manufacturers increase the amount of both inter- and intra-chip parallelism it becomes crucial to provide the software industry with high-level, clean and efficient tools for parallel programming. Parallel and distributed programming methodologies are currently dominated by low-level techniques such as send/receive message passing, or equivalently unstructured shared memory mechanisms. Higher-level, structured approaches offer many possible advantages and have a key role to play in the scalable exploitation of ubiquitous parallelism. Since 2001 the HLPP series of workshops/symposia has been a forum for researchers developing state-of-the-art concepts, tools and applications for high-level parallel programming. The general emphasis is on software quality, programming productivity and high-level performance models. The 7th Symposium on High-Level Parallel Programming and Applications will be held July 3-4 in the historic center of Amsterdam. =========================================================================== Proceedings: Accepted papers will be distributed as informal draft proceedings during the symposium and thereafter published by Springer in a special issue of the International Journal of Parallel Programming (IJPP). =========================================================================== Topics: HLPP 2014 invites papers on all topics in high-level parallel programming, its tools and applications including, but not limited to, the following aspects: + High-level programming and performance models (BSP, CGM, LogP, MPM, etc.) and their tools + Declarative parallel programming methodologies + Algorithmic skeletons and constructive methods + Declarative parallel programming languages and libraries: semantics and implementation + Verification of declarative parallel and distributed programs + Software synthesis, automatic code generation for parallel programming + Model-driven software engineering with parallel programs + High-level programming models for heterogeneous/hierarchical platforms + High-level parallel methods for large datasets + Applications of parallel systems using high-level languages and tools + Teaching experience with high-level tools and methods =========================================================================== Programme committee: Marco Aldinucci, University of Torino, Italy Jost Berthold, University of Copenhagen, Denmark Rob Bisseling, Utrecht University, Netherlands Murray Cole, University of Edinburgh, United Kingdom Joel Falcou, MetaScale / Université Paris-Sud, France Clemens Grelck, University of Amsterdam, Netherlands (Chair) Gaétan Hains, Université Paris-Est, France Zhenjiang Hu, National Institute of Informatics, Japan Youry Khmelevsky, University of British Columbia / Okanagan College, Canada Herbert Kuchen, University of Münster, Germany Kiminori Matsuzaki, Kochi University of Technology, Japan Frank Penczek, Intel Ulm, Germany Susanna Pelagatti, University of Pisa, Italy Tiark Rompf, Oracle Labs / Ecole Polytechnique Fédérale de Lausanne, Switzerland Francisco de Sande, University of La Laguna, Spain Kostis Sagonas, Uppsala University, Sweden Vijay Saraswat, IBM Thomas J. Watson Research Center, USA Sven-Bodo Scholz, Heriot-Watt University, United Kingdom =========================================================================== HLPP Organizer and programme chair: Clemens Grelck Informatics Institute University of Amsterdam Science Park 904 1098XH Amsterdam Netherlands c.grelck(a)uva.nl =========================================================================== HLPP steering committee: Clemens Grelck (Universiteit van Amsterdam, Netherlands) Gaétan Hains (Université Paris-Est, France) Kiminori Matsuzaki (Kochi University of Technology, Japan) Frédéric Loulergue (Université d'Orléans, France) Quentin Miller (Somerville College Oxford, United Kingdom) Alexander Tiskin (University of Warwick, United Kingdom) =========================================================================== Previous HLPP symposia and workshops: HLPP 2013, Paris, France HLPP 2011, Tokyo, Japan HLPP 2010, Baltimore, USA HLPP 2005, Coventry, United Kingdom HLPP 2003, Paris, France HLPP 2001, Orléans, France =========================================================================== -- ---------------------------------------------------------------------- Dr Clemens Grelck Science Park 904 University Lecturer 1098XH Amsterdam Netherlands University of Amsterdam Institute for Informatics T +31 (0) 20 525 8683 Computer Systems Architecture Group F +31 (0) 20 525 7490 Office C3.105 www.science.uva.nl/~grelck ----------------------------------------------------------------------

1 0