- Haskell - Haskell.org

PPDP'13: Last call for papers
by Tom Schrijvers 06 Jun '13

06 Jun '13

===================================================================== Last Call for Papers 15th International Symposium on Principles and Practice of Declarative Programming PPDP 2013 Special Issue of Science of Computer Programming (SCP) Madrid, Spain, September 16-18, 2013 (co-located with LOPSTR 2013) http://users.ugent.be/~tschrijv/PPDP2013/ ====================================================================== PPDP 2013 is a forum that brings together researchers from the declarative programming communities, including those working in the logic, constraint and functional programming paradigms, but also embracing a variety of other paradigms such as visual programming, executable specification languages, database languages, and knowledge representation languages. The goal is to stimulate research in the use of logical formalisms and methods for specifying, performing, and analysing computations, including mechanisms for mobility, modularity, concurrency, object-orientation, security, verification and static analysis. Papers related to the use of declarative paradigms and tools in industry and education are especially solicited. Topics of interest include, but are not limited to: * Functional programming * Logic programming * Answer-set programming * Functional-logic programming * Declarative visual languages * Constraint Handling Rules * Parallel implementation and concurrency * Monads, type classes and dependent type systems * Declarative domain-specific languages * Termination, resource analysis and the verification of declarative programs * Transformation and partial evaluation of declarative languages * Language extensions for security and tabulation * Probabilistic modelling in a declarative language and modelling reactivity * Memory management and the implementation of declarative systems * Practical experiences and industrial application This year the conference will be co-located with the 23nd International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2013) and held in cooperation with ACM SIGPLAN. The conference will be held in Madrid, Spain. Previous symposia were held at Leuven (Belgium), Odense (Denmark), Hagenberg (Austria), Coimbra (Portugal), Valencia (Spain), Wroclaw (Poland), Venice (Italy), Lisboa (Portugal), Verona (Italy), Uppsala (Sweden), Pittsburgh (USA), Florence (Italy), Montreal (Canada), and Paris (France). Papers must describe original work, be written and presented in English, and must not substantially overlap with papers that have been published or that are simultaneously submitted to a journal, conference, or workshop with refereed proceedings. Work that already appeared in unpublished or informally published workshop proceedings may be submitted (please contact the PC chair in case of questions). Proceedings will be published in the ACM International Conference Proceedings Series. After the symposium, a selection of the best papers will be invited to extend their submissions in the light of the feedback solicited at the symposium. The papers are expected to include at least 30% extra material over and above the PPDP version. Then, after another round of reviewing, these revised papers will be published in a special issue of SCP with a target publication date by Elsevier of 2014. Important Dates Abstract Submission: June 10, 2013 Paper submission: June 13, 2013 Notification: July 18, 2013 Camera-ready: August 4, 2013 Symposium: September 16-18, 2013 Invites for SCP: October 2, 2013 Submission of SCP: December 11, 2013 Notification from SCP: February 22, 2014 Camera-ready for SCP: March 14, 2014 Authors should submit an electronic copy of the paper (written in English) in PDF. Each submission must include on its first page the paper title; authors and their affiliations; abstract; and three to four keywords. The keywords will be used to assist us in selecting appropriate reviewers for the paper. Papers should consist of no more than 12 pages, formatted following the ACM SIG proceedings template (option 1). The 12 page limit must include references but excludes well-marked appendices not intended for publication. Referees are not required to read the appendices, and thus papers should be intelligible without them. Program Committee Sergio Antoy Portland State University, USA Manuel Carro IMDEA Software Institute, Spain Iliano Cervesato Carnegie Mellon University, Qatar Agostino Dovier Universita degli Studi di Udine, Italy Maria Garcia de la Banda Monash University, Australia Ralf Hinze University of Oxford, UK Yukiyoshi Kameyama University of Tsukuba, Japan Oleg Kiselyov USA Yanhong Annie Liu State University of New York at Stony Brook, USA Stefan Monnier Universite de Montreal, Canada Alan Mycroft University of Cambrige, UK Bruno C. d. S. Oliveira National University of Singapore, Singapore Alberto Pettorossi Universita di Roma Tor Vergata, Italy Enrico Pontelli New Mexico State University, USA Kristoffer Rose IBM Research, USA Sukyoung Ryu KAIST, South Korea Vitor Santos Costa University of Porto, Portugal Torsten Schaub University Potsdam, Germany Tom Schrijvers Ghent University, Belgium Martin Sulzmann Hochschule Karlsruhe, Germany Wouter Swierstra Universiteit Utrecht, The Netherlands Tarmo Uustalu Institute of Cybernetics, Estonia Janis Voigtlaender University of Bonn, Germany Meng Wang Chalmers University of Technology, Sweden Jan Wielemaker Universiteit van Amsterdam, The Netherlands Program Chair Tom Schrijvers Department of Applied Mathematics and Computer Science Ghent University 9000 Gent, Belgium General Chair Ricardo Pena Facultad de Informatica Universidad Complutense de Madrid 28040 Madrid, Spain -- prof. dr. ir. Tom Schrijvers Programming Languages Group Department of Applied Mathematics and Computer Science University of Ghent Krijgslaan 281 S9 9000 Gent Belgium Phone: +32 9 264 4805 http://users.ugent.be/~tschrijv/

1 0

Haskell Weekly News: Issue 269
by Daniel Santa Cruz 06 Jun '13

06 Jun '13

Welcome to issue 269 of the HWN, an issue covering crowd-sourced bits of information about Haskell from around the web. This issue covers the week of May 26 to June 1, 2013. Quotes of the Week * neutrino: i've been teaching people about functional programming etc (when I came in there was exactly 0 knowledge about this, after I joined that changed, but not sure in which direction) Top Reddit Stories * Haskell Platform 2013.2.0.0 is out Domain: haskell.org, Score: 103, Comments: 19 On Reddit: [1] http://goo.gl/Iabii Original: [2] http://goo.gl/DniAP * Elm & Prezi: I'm now working on Elm full-time! Domain: elm-lang.org, Score: 96, Comments: 18 On Reddit: [3] http://goo.gl/03Aab Original: [4] http://goo.gl/4o1Xh * ANN: Idris 0.9.8 released Domain: idris-lang.org, Score: 54, Comments: 58 On Reddit: [5] http://goo.gl/PGrXi Original: [6] http://goo.gl/birp8 * Type-Safe Runtime Code Generation with (Typed) Template Haskell Domain: gmainland.blogspot.co.uk, Score: 54, Comments: 17 On Reddit: [7] http://goo.gl/rMEFc Original: [8] http://goo.gl/MBOJn * Elm 0.8 released! Type annotations and aliases, better HTML/JS integration, and lots more Domain: elm-lang.org, Score: 50, Comments: 10 On Reddit: [9] http://goo.gl/B9AIa Original: [10] http://goo.gl/tM3Qq * Why did the Haskeller need to replace his keyboard regularly? Domain: self.haskell, Score: 48, Comments: 9 On Reddit: [11] http://goo.gl/FHiCn Original: [12] http://goo.gl/FHiCn * Towards a better Haskell package Domain: fvisser.nl, Score: 40, Comments: 26 On Reddit: [13] http://goo.gl/XNFGM Original: [14] http://goo.gl/jbW4Q * What does the Haskell runtime look like? Domain: self.haskell, Score: 37, Comments: 17 On Reddit: [15] http://goo.gl/n8bqD Original: [16] http://goo.gl/n8bqD * The AST Typing Problem Domain: blog.ezyang.com, Score: 33, Comments: 14 On Reddit: [17] http://goo.gl/nYMNg Original: [18] http://goo.gl/FYpD2 * [haskell.org Google Summer of Code 2013] Approved Projects Domain: haskell.org, Score: 28, Comments: 10 On Reddit: [19] http://goo.gl/hnSnz Original: [20] http://goo.gl/IUE0U Top StackOverflow Questions * What's the best way to exit a Haskell program? votes: 25, answers: 1 Read on SO: [21] http://goo.gl/3AQdw * Haskell Conduit: One processing conduit, 2 IO sources of the same type votes: 23, answers: 0 Read on SO: [22] http://goo.gl/12dwP * Why is length of “Níðhöggr” 9? votes: 22, answers: 2 Read on SO: [23] http://goo.gl/emGGm * What is a solid example of something that can be done with list comprehensions that is tricky with high order functions? votes: 11, answers: 5 Read on SO: [24] http://goo.gl/fJMcg * Fibonacci Seq. strange output forms (Haskell) votes: 10, answers: 2 Read on SO: [25] http://goo.gl/9OQYW * Gnuplot in Haskell: don't enter gnuplot terminal votes: 10, answers: 0 Read on SO: [26] http://goo.gl/Fwb66 * Haskell: YesNo type class. Why Integer? votes: 10, answers: 3 Read on SO: [27] http://goo.gl/jnLLH * Is it possible to use extended precision (80-bit) floating point arithmetic in GHC/Haskell? votes: 9, answers: 1 Read on SO: [28] http://goo.gl/HUUoL * Having trouble understanding list comprehensions votes: 9, answers: 2 Read on SO: [29] http://goo.gl/JkNL3 * What is the rule of the order of multiple type variables in haskell? votes: 9, answers: 1 Read on SO: [30] http://goo.gl/1whHM Until next time, +Daniel Santa Cruz References 1. http://www.haskell.org/platform/ 2. http://www.reddit.com/r/haskell/comments/1f6l2a/haskell_platform_2013200_is… 3. http://elm-lang.org/blog/announce/Elm-and-Prezi.elm 4. http://www.reddit.com/r/haskell/comments/1f9yd8/elm_prezi_im_now_working_on… 5. http://idris-lang.org/archives/272 6. http://www.reddit.com/r/haskell/comments/1f75ge/ann_idris_098_released/ 7. http://gmainland.blogspot.co.uk/2013/05/type-safe-runtime-code-generation-w… 8. http://www.reddit.com/r/haskell/comments/1feqhn/typesafe_runtime_code_gener… 9. http://elm-lang.org/blog/announce/version-0.8.elm 10. http://www.reddit.com/r/haskell/comments/1f77h0/elm_08_released_type_annota… 11. http://www.reddit.com/r/haskell/comments/1f6gjs/why_did_the_haskeller_need_… 12. http://www.reddit.com/r/haskell/comments/1f6gjs/why_did_the_haskeller_need_… 13. http://fvisser.nl/post/2013/may/28/towards-a-better-haskell-package.html 14. http://www.reddit.com/r/haskell/comments/1f70wi/towards_a_better_haskell_pa… 15. http://www.reddit.com/r/haskell/comments/1f48dc/what_does_the_haskell_runti… 16. http://www.reddit.com/r/haskell/comments/1f48dc/what_does_the_haskell_runti… 17. http://blog.ezyang.com/2013/05/the-ast-typing-problem/ 18. http://www.reddit.com/r/haskell/comments/1f91w3/the_ast_typing_problem/ 19. http://www.haskell.org/pipermail/haskell-cafe/2013-May/108458.html 20. http://www.reddit.com/r/haskell/comments/1f6ve7/haskellorg_google_summer_of… 21. http://stackoverflow.com/questions/16872898/whats-the-best-way-to-exit-a-ha… 22. http://stackoverflow.com/questions/16757060/haskell-conduit-one-processing-… 23. http://stackoverflow.com/questions/16779251/why-is-length-of-nidhoggr-9 24. http://stackoverflow.com/questions/16784162/what-is-a-solid-example-of-some… 25. http://stackoverflow.com/questions/16762009/fibonacci-seq-strange-output-fo… 26. http://stackoverflow.com/questions/16803070/gnuplot-in-haskell-dont-enter-g… 27. http://stackoverflow.com/questions/16824047/haskell-yesno-type-class-why-in… 28. http://stackoverflow.com/questions/16797802/is-it-possible-to-use-extended-… 29. http://stackoverflow.com/questions/16805135/having-trouble-understanding-li… 30. http://stackoverflow.com/questions/16860473/what-is-the-rule-of-the-order-o… 31. https://plus.google.com/105107667630152149014/about

1 0

Dores do Indai� - Nomes dos aprovados
by David Anderson 05 Jun '13

05 Jun '13

Dores do Indaiá ANA KARINE PAULINO DA SILVA, LUAN VICTOR VASCONCELOS NOBERTO, FRANCISCO MARKAN NOBRE DE SOUZA FILHO, PEDRO SIQUEIRA FONTENELE, JOÃO CARLOS MOREIRA DE CARVALHO, DANIEL MOREIRA ALVES DA SILVA, MARIA JOELMA BEZERRA DA SILVA, JESSICA DE PONTES GOMES. SINELANDIA MARIA DA SILVA, BRENA CARLA DE MELO CAMELO, LUCINEIDE MARIA DA SILVA, HAROLDO PEIXOTO DA JUSTA JUNIOR, RENATA ROCHA DE NEGREIROS. Campestre de Goiás. Aquiraz ALINE PINHO BARROS, LARISSA FORTE VASCONCELOS, FERNANDO DE MORAES RODRIGUES, NEWTON BEVILAQUA DIAS NETO, JOÃO CARLOS MOREIRA DE CARVALHO, CLAYTON DANTAS DE OLIVEIRA, MARIA DA CONCEIÇÃO SIMÕES LOPES, IVANILDO NUNES DA SILVA. SABRINA ISABEL DE OLIVEIRA PAIVA, ELIELSON LEANDRO DE LIMA, MAURICIO CARLOS DE SOUZA FILHO, JOSE WILSON DE CARVALHO FILHO, VITOR GOMES DOS SANTOS. Colniza. Araçuaí ANA KARINE PAULINO DA SILVA, LUAN VICTOR VASCONCELOS NOBERTO, FRANCISCO MARKAN NOBRE DE SOUZA FILHO, PEDRO SIQUEIRA FONTENELE, JOÃO CARLOS MOREIRA DE CARVALHO, DANIEL MOREIRA ALVES DA SILVA, MARIA JOELMA BEZERRA DA SILVA, JESSICA DE PONTES GOMES. SINELANDIA MARIA DA SILVA, BRENA CARLA DE MELO CAMELO, LUCINEIDE MARIA DA SILVA, HAROLDO PEIXOTO DA JUSTA JUNIOR, RENATA ROCHA DE NEGREIROS. Colniza.

1 0

ANN: hledger 0.21
by Simon Michael 01 Jun '13

01 Jun '13

I'm pleased to announce hledger and hledger-web 0.21! hledger is a command-line tool and haskell library for tracking financial transactions, which are stored in a human-readable plain text format. In addition to reporting, it can also help you record new transactions, or convert CSV data from your bank. Add-on packages include hledger-web (providing a web interface), hledger-irr and hledger-interest. hledger is inspired by and compatible with John Wiegley's Ledger. For more, see http://hledger.org . Install it: cabal update; cabal install hledger [hledger-web] For more installation help, see http://hledger.org/MANUAL.html#installing . Or, sponsor a ready-to-run binary for your platform: http://hledger.org/DOWNLOAD.html . Release notes (http://hledger.org/NEWS.html#hledger-0.21) **Bugs fixed:** - parsing: don't fail when a csv amount has trailing whitespace (fixes #113) - web: don't show prices in the accounts sidebar (fixes #114) - web: show one line per commodity in charts. Needs more polish, but fixes #109. - web: bump yesod-platform dependency to avoid a cabal install failure **Journal reading:** - balance assertions are now checked after reading a journal **web command:** - web: support/require yesod 1.2 - web: show zero-balance accounts in the sidebar (fixes #106) - web: use nicer select2 autocomplete widgets in the add form **Documentation and infrastructure:** - add basic cabal test suites for hledger-lib and hledger Release contributors: - Xinruo Sun enhanced the hledger-web add form - Clint Adams added cabal test suites - Jeff Richards did hledger-web cleanup - Peter Simons provided the build bot

1 0

Job opening Ph D student in type error diagnosis for domain specific languages in Haskell
by Jurriaan Hage 31 May '13

31 May '13

Dear Haskellers, Apologies in case you have received multiple copies. best, Jur =============================================================================== VACANCY : 1x Phd Student in domain specific type error diagnosis for Haskell =============================================================================== The activities of the Software Systems division at Utrecht University include research on programming methodologies, compiler construction, and program analysis, validation, and verification. For information about the research group of Software Technology, see: http://www.cs.uu.nl/wiki/Center Financed by the Netherlands Organisation for Scientific Research (NWO), we currently have a job opening for: * 1x PhD researcher (Ph D student) Software Technology Domain-specific languages (DSLs) have the potential both to reduce the effort of programming, and to result in programs that are easier to understand and maintain. For various good reasons, researchers have proposed to embed DSLs (then called EDSLs) into a general purpose host language. An important disadvantage of such an embedding is that it is very hard to make type error diagnosis domain-aware, because inconsistencies are by default explained in terms of the host language. We are currently looking for a highly motivated Ph D student to investigate this problem in the context of the functional language Haskell. The basic approach is to scale the concept of specialized type rules as developed by (Heeren, Hage and Swierstra, ICFP '03, see link below) for Haskell '98 to modern day Haskell with all of its type system extensions. The work is both technically challenging, i.e., how do you ensure that modifications to the type diagnositic process do not inadvertently change the type system, and practically immediately useful: making domain-specific type error diagnosis a reality for a full sized language such as Haskell is likely to have a pervasive influence on the field of domain-specific languages, and the language Haskell. The ICFP '03 paper can be found at http://www.cs.uu.nl/people/jur/scriptingthetypeinferencer.pdf A project paper that describes the context and aims of the current project can be found here: http://www.cs.uu.nl/people/jur/tfp2013_submission_2.pdf At first, the work will be prototyped in our own Utrecht Haskell Compiler. If succesfull, the work will also make its way into the GHC. We expect the candidate to communicate the results academically, to present the work at scientific conferences, to supervise Master students, and to assist in teaching courses at Bachelor or Master level. --------------------------------- What we are looking for --------------------------------- The candidate should have an MSc in Computer Science, be highly motivated, speak and write English very well, and be proficient in producing scientific reports. Knowledge of and experience with at least one of the following two areas is essential: * functional programming, and Haskell in particular * type system concepts Furthermore, we expect the candidate to be able to reason formally. Experience in compiler construction is expected to be useful in this project. --------------------------------- What we offer --------------------------------- You are offered a full-time position for 4 years. The gross salary is in the range between € 2083,- and maximum € 2664,- per month. The salary is supplemented with a holiday bonus of 8% and an end-of-year bonus of 8,3% per year. In addition we offer: a pension scheme, a partially paid parental leave, flexible employment conditions. Conditions are based on the Collective Labour Agreement Dutch Universities. We aim to start November 1, 2013 at the latest, but preferably sooner. --------------------------------- In order to apply --------------------------------- To apply please attach a letter of motivation, a curriculum vitae, and (email) addresses of two referees. Make sure to also include a transcript of the courses you have followed (at bachelor and master level), with the grades you obtained, and to include a sample of your scientific writing, e.g., the pdf of your master thesis. It is possible to apply for this position if you are close to obtaining your Master's. In that case include a letter of your supervisor with an estimate of your progress, and do not forget to include at least a sample of your technical writing skills. Application closes on the 20th of June 2013. For application, visit http://www.cs.uu.nl/vacatures/en/583630.html and follow the link to the official job application page at the bottom. --------------- Contact person --------------- For further information you can direct your inquiries to: Dr. Jurriaan Hage Phone: (+31) 30 253 3283 e-mail: J.Hage(a)uu.nl. website: http://www.cs.uu.nl/wiki/Hage/WebHome

1 0

Call for Papers IFL 2013
by publicityifl＠gmail.com 31 May '13

31 May '13

=============================================================================== VACANCY : 1x Phd Student in domain specific type error diagnosis for Haskell =============================================================================== The activities of the Software Systems division at Utrecht University include research on programming methodologies, compiler construction, and program analysis, validation, and verification. For information about the research group of Software Technology, see: http://www.cs.uu.nl/wiki/Center Financed by the Netherlands Organisation for Scientific Research (NWO), we currently have a job opening for: * 1x PhD researcher (Ph D student) Software Technology Domain-specific languages (DSLs) have the potential both to reduce the effort of programming, and to result in programs that are easier to understand and maintain. For various good reasons, researchers have proposed to embed DSLs (then called EDSLs) into a general purpose host language. An important disadvantage of such an embedding is that it is very hard to make type error diagnosis domain-aware, because inconsistencies are by default explained in terms of the host language. We are currently looking for a highly motivated Ph D student to investigate this problem in the context of the functional language Haskell. The basic approach is to scale the concept of specialized type rules as developed by (Heeren, Hage and Swierstra, ICFP '03, see link below) for Haskell '98 to modern day Haskell with all of its type system extensions. The work is both technically challenging, i.e., how do you ensure that modifications to the type diagnositic process do not inadvertently change the type system, and practically immediately useful: making domain-specific type error diagnosis a reality for a full sized language such as Haskell is likely to have a pervasive influence on the field of domain-specific languages, and the language Haskell. The ICFP '03 paper can be found at http://www.cs.uu.nl/people/jur/scriptingthetypeinferencer.pdf A project paper that describes the context and aims of the current project can be found here: http://www.cs.uu.nl/people/jur/tfp2013_submission_2.pdf At first, the work will be prototyped in our own Utrecht Haskell Compiler. If succesfull, the work will also make its way into the GHC. We expect the candidate to communicate the results academically, to present the work at scientific conferences, to supervise Master students, and to assist in teaching courses at Bachelor or Master level. --------------------------------- What we are looking for --------------------------------- The candidate should have an MSc in Computer Science, be highly motivated, speak and write English very well, and be proficient in producing scientific reports. Knowledge of and experience with at least one of the following two areas is essential: * functional programming, and Haskell in particular * type system concepts Furthermore, we expect the candidate to be able to reason formally. Experience in compiler construction is expected to be useful in this project. --------------------------------- What we offer --------------------------------- You are offered a full-time position for 4 years. The gross salary is in the range between Û 2083,- and maximum Û 2664,- per month. The salary is supplemented with a holiday bonus of 8% and an end-of-year bonus of 8,3% per year. In addition we offer: a pension scheme, a partially paid parental leave, flexible employment conditions. Conditions are based on the Collective Labour Agreement Dutch Universities. We aim to start November 1, 2013 at the latest, but preferably sooner. --------------------------------- In order to apply --------------------------------- To apply please attach a letter of motivation, a curriculum vitae, and (email) addresses of two referees. Make sure to also include a transcript of the courses you have followed (at bachelor and master level), with the grades you obtained, and to include a sample of your scientific writing, e.g., the pdf of your master thesis. It is possible to apply for this position if you are close to obtaining your Master's. In that case include a letter of your supervisor with an estimate of your progress, and do not forget to include at least a sample of your technical writing skills. Application closes on the 20th of June 2013. For application, visit http://www.cs.uu.nl/vacatures/en/583630.html and follow the link to the official job application page at the bottom. --------------- Contact person --------------- For further information you can direct your inquiries to: Dr. Jurriaan Hage Phone: (+31) 30 253 3283 e-mail: J.Hage(a)uu.nl. website: http://www.cs.uu.nl/wiki/Hage/WebHome

1 0

Haskell Weekly News: Issue 268
by Daniel Santa Cruz 31 May '13

31 May '13

Welcome to issue 268 of the HWN, an issue covering crowd-sourced bits of information about Haskell from around the web. This issue covers the week of May 12 to 25, 2013. Quotes of the Week * tikhonjelvis: the lesson is that the fix function exists to "fix" any type problems you may encounter * shachaf: The trouble with peano arithmetic is that it stops at 88. * Peaker: Python's dynamic nature adds slowness and unsafety, but doesn't actually make things more expressive * sj4nz: Programming in weakly-typed languages forever after will feel like working with punch cards. Send in your program to the nodejs interpreter and hope for a result to come back. * xplat: if you want to carry your machete all the time and not make people nervous, you need to constantly blaze trails * otters: heh, F# is just the unboxed version of F * quchen: This was the first time in months that I thought imperatively. Conclusion: 1. it complicated things, 2. it was refreshing * cmccann: I still kind of expect that the next standard will be haskell2017 or something, and all it will do is a minor change to lexical syntax of comments that fixes nothing but nevertheless breaks 20% of hackage. * cmccann: [on reimplementing cryptography in pure Haskell] writing in Haskell lets you use type safety to ensure that all the security holes you create are subtle instead of obvious. Top Reddit Stories * Haskell in Production [slides] Domain: mth.io, Score: 60, Comments: 114 On Reddit: [1] http://goo.gl/ldnv0 Original: [2] http://goo.gl/tMjTd * B-trees with GADTs Domain: matthew.brecknell.net, Score: 56, Comments: 6 On Reddit: [3] http://goo.gl/Sjf9U Original: [4] http://goo.gl/sQnYW * Yearly revisions to the Haskell language: who killed Haskell Prime? Domain: self.haskell, Score: 54, Comments: 19 On Reddit: [5] http://goo.gl/5GWKg Original: [6] http://goo.gl/5GWKg * Elm paper accepted at PLDI: Asynchronous FRP for GUIs! Domain: people.seas.harvard.edu, Score: 51, Comments: 4 On Reddit: [7] http://goo.gl/iYiyh Original: [8] http://goo.gl/98jft * The complete correctness of sorting [Agda] Domain: twanvl.nl, Score: 49, Comments: 5 On Reddit: [9] http://goo.gl/PLH6m Original: [10] http://goo.gl/RQGZn * Anatomy of an MVar operation Domain: blog.ezyang.com, Score: 47, Comments: 7 On Reddit: [11] http://goo.gl/7miao Original: [12] http://goo.gl/3ZHSI * Typing Haskell in Haskell Domain: web.cecs.pdx.edu, Score: 44, Comments: 34 On Reddit: [13] http://goo.gl/q1ghy Original: [14] http://goo.gl/M5csQ * STM in Haskell is better because of types Domain: joeyh.name, Score: 44, Comments: 8 On Reddit: [15] http://goo.gl/wj9Ab Original: [16] http://goo.gl/fmLM1 * Typed Template Haskell ready for testing in GHC Domain: haskell.org, Score: 44, Comments: 13 On Reddit: [17] http://goo.gl/he61y Original: [18] http://goo.gl/YJIZB * A detailed look at GHC's STM implementation from a non-GHC hacker Domain: fryguybob.github.io, Score: 38, Comments: 11 On Reddit: [19] http://goo.gl/pTp2c Original: [20] http://goo.gl/4oe3Y * New Haskell Communities and Activity Report (May 2013) is out Domain: haskell.org, Score: 37, Comments: 2 On Reddit: [21] http://goo.gl/P2kz1 Original: [22] http://goo.gl/YoIE4 * Three examples of problems with Lazy I/O Domain: newartisans.com, Score: 36, Comments: 31 On Reddit: [23] http://goo.gl/reKqZ Original: [24] http://goo.gl/ZagPt * Understanding the Yoneda Lemma Domain: fpcomplete.com, Score: 35, Comments: 48 On Reddit: [25] http://goo.gl/RUZ4h Original: [26] http://goo.gl/xbAJj * Simon Peyton Jones to keynote Haskell eXchange 2013! Domain: skillsmatter.com, Score: 35, Comments: 2 On Reddit: [27] http://goo.gl/DlfRt Original: [28] http://goo.gl/5lpwh * Greg Hale's "Functional programming elevator pitch" Domain: fpcomplete.com, Score: 34, Comments: 8 On Reddit: [29] http://goo.gl/gbhX3 Original: [30] http://goo.gl/QrrxP * FP Complete is looking for a Technical Sales Engineer and Support Specialist Domain: fpcomplete.com, Score: 32, Comments: 1 On Reddit: [31] http://goo.gl/nYNci Original: [32] http://goo.gl/VGCoa * A Typed Markup Language Based On Haskell Domain: blog.functorial.com, Score: 31, Comments: 9 On Reddit: [33] http://goo.gl/eLLjV Original: [34] http://goo.gl/wFxcv * Announcing: Snap Framework v0.12 Domain: snapframework.com, Score: 28, Comments: 2 On Reddit: [35] http://goo.gl/5wYLk Original: [36] http://goo.gl/KibyP * John Wiegley's "Understanding Continuations", on School of Haskell Domain: fpcomplete.com, Score: 27, Comments: 17 On Reddit: [37] http://goo.gl/ZT7d6 Original: [38] http://goo.gl/YitVR Top StackOverflow Questions * Why are if expressions frowned upon in Haskell? votes: 20, answers: 6 Read on SO: [39] http://goo.gl/NejhX * Haskell: `Map (a,b) c` versus `Map a (Map b c)`? votes: 19, answers: 3 Read on SO: [40] http://goo.gl/8f1hf * Why recursive `let` make space effcient? votes: 18, answers: 3 Read on SO: [41] http://goo.gl/QTLYQ * Should do-notation be avoided in Haskell? [duplicate] votes: 16, answers: 7 Read on SO: [42] http://goo.gl/MGiFr * Correspondence between type classes and grammar levels in the Chomsky hierarchy votes: 15, answers: 1 Read on SO: [43] http://goo.gl/LRJy2 * Calling Haskell from C# votes: 14, answers: 2 Read on SO: [44] http://goo.gl/n9QB1 * How do exceptions work in Haskell (part two)? votes: 13, answers: 1 Read on SO: [45] http://goo.gl/U2GDR * Can a monad be a comonad? votes: 11, answers: 5 Read on SO: [46] http://goo.gl/ESrc2 * Dynamic Programming Memoization in Haskell votes: 11, answers: 1 Read on SO: [47] http://goo.gl/Gp7c8 * Employing arrows to fold a list of tuples votes: 11, answers: 1 Read on SO: [48] http://goo.gl/shRWV Until next time, +Daniel Santa Cruz References 1. http://mth.io/talks/haskell-in-production/ 2. http://www.reddit.com/r/haskell/comments/1etssw/haskell_in_production_slide… 3. http://matthew.brecknell.net/post/btree-gadt/ 4. http://www.reddit.com/r/haskell/comments/1efuog/btrees_with_gadts/ 5. http://www.reddit.com/r/haskell/comments/1esmhj/yearly_revisions_to_the_has… 6. http://www.reddit.com/r/haskell/comments/1esmhj/yearly_revisions_to_the_has… 7. http://people.seas.harvard.edu/~chong/pubs/pldi13-elm.pdf 8. http://www.reddit.com/r/haskell/comments/1eie6m/elm_paper_accepted_at_pldi_… 9. http://twanvl.nl/blog/agda/sorting 10. http://www.reddit.com/r/haskell/comments/1exv2t/the_complete_correctness_of… 11. http://blog.ezyang.com/2013/05/anatomy-of-an-mvar-operation/ 12. http://www.reddit.com/r/haskell/comments/1eostu/anatomy_of_an_mvar_operatio… 13. http://web.cecs.pdx.edu/~mpj/thih/TypingHaskellInHaskell.html 14. http://www.reddit.com/r/haskell/comments/1e6s68/typing_haskell_in_haskell/ 15. http://joeyh.name/blog/entry/the_newinwheezy_game:_STM/ 16. http://www.reddit.com/r/haskell/comments/1e8ow9/stm_in_haskell_is_better_be… 17. http://www.haskell.org/pipermail/ghc-devs/2013-May/001255.html 18. http://www.reddit.com/r/haskell/comments/1egfra/typed_template_haskell_read… 19. http://fryguybob.github.io/STM-Commentary/ 20. http://www.reddit.com/r/haskell/comments/1ejgjo/a_detailed_look_at_ghcs_stm… 21. http://haskell.org/communities/05-2013/html/report.html 22. http://www.reddit.com/r/haskell/comments/1e601k/new_haskell_communities_and… 23. http://newartisans.com/2013/05/three-examples-of-problems-with-lazy-io 24. http://www.reddit.com/r/haskell/comments/1e8k3k/three_examples_of_problems_… 25. https://www.fpcomplete.com/user/bartosz/understanding-yoneda 26. http://www.reddit.com/r/haskell/comments/1eelao/understanding_the_yoneda_le… 27. http://skillsmatter.com/event/scala/haskell-exchange/te-7391 28. http://www.reddit.com/r/haskell/comments/1ewq54/simon_peyton_jones_to_keyno… 29. https://www.fpcomplete.com/user/imalsogreg/functional-programming-elevator-… 30. http://www.reddit.com/r/haskell/comments/1ewvhm/greg_hales_functional_progr… 31. https://www.fpcomplete.com/page/product_specialist 32. http://www.reddit.com/r/haskell/comments/1ezeng/fp_complete_is_looking_for_… 33. http://blog.functorial.com/posts/2013-05-18-Typed-Markup-Language.html 34. http://www.reddit.com/r/haskell/comments/1elhj2/a_typed_markup_language_bas… 35. http://snapframework.com/blog/2013/05/15/snap-0.12-released 36. http://www.reddit.com/r/haskell/comments/1ef3kt/announcing_snap_framework_v… 37. https://www.fpcomplete.com/user/jwiegley/understanding-continuations 38. http://www.reddit.com/r/haskell/comments/1e977w/john_wiegleys_understanding… 39. http://stackoverflow.com/questions/16572446/why-are-if-expressions-frowned-… 40. http://stackoverflow.com/questions/16613032/haskell-map-a-b-c-versus-map-a-… 41. http://stackoverflow.com/questions/16632143/why-recursive-let-make-space-ef… 42. http://stackoverflow.com/questions/16726659/should-do-notation-be-avoided-i… 43. http://stackoverflow.com/questions/16607637/correspondence-between-type-cla… 44. http://stackoverflow.com/questions/16615641/calling-haskell-from-c-sharp 45. http://stackoverflow.com/questions/16678165/how-do-exceptions-work-in-haske… 46. http://stackoverflow.com/questions/16551734/can-a-monad-be-a-comonad 47. http://stackoverflow.com/questions/16585741/dynamic-programming-memoization… 48. http://stackoverflow.com/questions/16676758/employing-arrows-to-fold-a-list… 49. https://plus.google.com/105107667630152149014/about

1 0

2nd CFP: Functional High-Performance Computing (FHPC 2013)
by Jost Berthold 30 May '13

30 May '13

===================================================================== 2nd CALL FOR PAPERS FHPC 2013 The 2nd ACM SIGPLAN Workshop on Functional High-Performance Computing Boston, Massachusets September 23, 2013 http://www.hiperfit.dk/fhpc13.html Co-located with the International Conference on Functional Programming (ICFP 2013) Submission Deadline: June 14, 2013 (anywhere on earth) ===================================================================== The FHPC workshop aims at bringing together researchers exploring uses of functional (or more generally, declarative or high-level) programming technology in application domains where large-scale computations arise naturally and high performance is essential. Such computations would typically -- but not necessarily -- involve execution on highly parallel systems ranging from multi-core multi-processor systems to graphics accelerators (GPGPUs), reconfigurable hardware (FPGAs), large-scale compute clusters or any combination thereof. It is becoming apparent that radically new and well founded methodologies for programming such systems are required to address their inherent complexity and to reconcile execution performance with programming productivity. The aim of the meeting is to enable sharing of results, experiences, and novel ideas about how high-level, declarative specifications of computationally challenging problems can serve as highly transparent, maintainable, and portable code that approaches (or even exceeds) the performance of machine-oriented imperative implementations. Each FHPC workshop proposes a particular theme for applications where high-performance computing and/or functional programming technology can be applied. For FHPC 2013, the theme is "Large-Scale Simulation", traditionally one of the main driving forces behind supercomputing. A large fraction of compute cycles in supercomputers worldwide is spent on simulation tasks, for various engineering tasks, drug design and other medical simulations, and in different natural science domains. Declarative languages have potential to radically change development practice and workflow for simulation software in these areas. Hence, we particularly encourage submission of application-oriented contributions in the area of simulation. As a general rule, while proposing the theme, the workshop welcomes submissions from all relevant application domains as well as those describing general work on the theory and practice of declarative high-performance computing. Proceedings: ============ Accepted papers will be published by the ACM and will appear in the ACM Digital Library. * Submission Deadline: 14 June 2013 (anywhere on earth) * Author Notification: 11 July 2013 * Final Papers Due : 25 July 2013 Submitted papers must be in portable document format (PDF), formatted according to the ACM SIGPLAN style guidelines (2-column, 9pt format). See http://www.sigplan.org/authorInformation.htm for more information and style files. The page limit is 12 pages. Submission deadlines and page limit are firm. Contributions to FHPC 2013 should be submitted via Easychair, under https://www.easychair.org/conferences/?conf=fhpc2013. The submission site is now open. The FHPC workshops adhere to the ACM SIGPLAN policies regarding programme committee contributions and republication. Any paper submitted must adhere to ACM SIGPLAN's republication policy. PC member submissions are welcome, but will be reviewed to a higher standard. http://www.sigplan.org/Resources/Policies/Review http://www.sigplan.org/Resources/Policies/Republication Travel Support: =============== Student attendees with accepted papers can apply for a SIGPLAN PAC grant to help cover travel expenses. PAC also offers other support, such as for child-care expenses during the meeting or for travel costs for companions of SIGPLAN members with physical disabilities, as well as for travel from locations outside of North America and Europe. For details on the PAC programme, see its web page (http://www.sigplan.org/PAC.htm) Programme Committee: ==================== Umut Acar (co-chair), Carnegie Mellon U., PA, USA Arvind, MIT, MA, USA Jost Berthold (co-chair), U. of Copenhagen, Denmark Guy Blelloch, Carnegie Mellon U., PA, USA Hassan Chafi, Oracle Labs, CA, USA Dan Spoonhower, Google, CA, USA Sergei Gorlatch, U. Münster, Germany Clemens Grelck, U. of Amsterdam, Netherlands Vinod Grover, NVidia, USA Torsten Grust, U.Tübingen, Germany Zhenjiang Hu, National Inst. of Informatics, Tokyo, Japan Gabriele Keller, U.New South Wales, Sydney, Australia Jens Palsberg, U.California, CA, USA Leaf Peterson, Intel, USA Mike Rainey, MPI-SWS,Kaiserslautern, Germany Suresh Jagannathan, Purdue U., USA Sven-Bodo Scholz, Heriot-Watt U., Edinburgh, UK Guy Steele, Oracle Labs, Burlington, MA, USA Yaron Minsky, Jane Street Capital, NY, USA General Chairs: ==================== Clemens Grelck, University of Amsterdam, NL Fritz Henglein, University of Copenhagen, DK

1 0

Call for Participation: Workshop on Haskell and Rewriting Techniques (June 27, Eindhoven)
by Johannes Waldmann 28 May '13

28 May '13

The list of accepted papers, and preliminary schedule, for the first International Workshop on Haskell And Rewriting Techniques (June 27, Eindhoven/NL, as part of RDP 2013) is available from the workshop web site http://www.imn.htwk-leipzig.de/HART2013/ Register soon - RDP early registration deadline is June 1! Best regards - Kristoffer H Rose and Johannes Waldmann.

1 0

ANN: Haskell Platform 2013.2.0.0
by Mark Lentczner 28 May '13

28 May '13

On behalf of the Haskell Platform team, I'm happy to announce the release of Haskell Platform 2013.2.0.0 *featuring* GHC 7.6.3 52 packages 650+ public modules 4 tools *New packages this release:* attoparsec case-insensitive hashable unordered-containers *and a major upgrade to* OpenGL and GLUT Get it now: Download Haskell Platform <http://www.haskell.org/platform/index.html> — for Windows <http://www.haskell.org/platform/windows.html> — for Mac OS X <http://www.haskell.org/platform/mac.html> — for Linux <http://www.haskell.org/platform/linux.html> (distributions updating soon) *N.B.: You will likely need to explicitly re-fresh those links when visiting in your browser - those pages tend to get cached for very long periods of time.* — Mark "platform wrangler" Lentczner

1 0