April 2017 - Haskell-Cafe

complex multiplication function in Haskell
by Mahmoud Murad 27 Apr '17

27 Apr '17

Hi there, The number 354162 has 6 digits and contains all digits from 1 to 6, and it can be considered as a multiplication of 3 * 54 = 162. so what I need is a function that will take all the real number and return the number that can be split as above, 354162 .. 3 * 54 = 162 I have no idea how to do such a thing! any help!

3 2

Getting ready for Summer of Haskell 2017
by Niki Vazou 25 Apr '17

25 Apr '17

We are happy to announce that Summer of Haskell 2017 will host at least 8 students, funded from the Haskell community and corporate sponsors. You can find all information (including the timeline) at the Summer of Haskell new webpage: https://summer.haskell.org/ Students can submit applications from April 25th until the May 6th. We recommend that interested students start thinking about their proposals and brainstorm with potential mentors. In case you would like to participate as a student, but you have no idea what to work on, we have a page dedicated to ideas here: https://summer.haskell.org/ideas.html Teachers of FP courses at universities around the world are strongly encouraged to share this announcement with their students. Mentors, as well as everyone from the community, are encouraged to contribute ideas by sending pull requests to the Summer of Haskell repository (or contacting us): https://github.com/haskell-org/summer-of-haskell Sponsors are still welcome, as we can add more slots if the necessary funds become available. Combining our current individual donations with partial sponsors, we only need $2000 more to fund an additional student. Please consider making a small donation towards that goal. If you would like to contribute do not hesitate to contact us or donate directly: https://wiki.haskell.org/Donate_to_Haskell.org We’d like to thank our current sponsors for making this Summer of Haskell possible: haskell.org kicked things off this year by funding a student and organizing the Summer of Haskell 2017 after a successful Summer of Haskell 2016 <https://mail.haskell.org/pipermail/haskell-cafe/2016-December/125702.html>. Asahi Net <http://asahinet.com/> is a Japanese Internet service provider that has been running stable systems for over 25 years. They are a proud sponsor of the Summer of Haskell, and contribute to the Japanese Haskell community. Awake Networks <http://www.awakenetworks.com/> is building a next generation network security and analytics platform. They are a proud sponsor of the Summer of Haskell and contribute broadly to the Haskell community. CodeWorld <http://code.world/> is an educational project that blends mathematics and Haskell programming into a visual playground. Chris Smith has volunteered to fund two students to work on CodeWorld in particular. Facebook <http://facebook.com/> uses Haskell in its anti-abuse infrastructure <https://code.facebook.com/posts/745068642270222/fighting-spam-with-haskell/>, and as part of that effort we open-sourced the Haxl <https://github.com/facebook/Haxl> framework which is being used at scale in production to automatically parallelise data-fetching code. We're delighted to be able to support the Haskell community's efforts by sponsoring a student for this year's Summer of Haskell. Fugue Inc. <http://fugue.co/> radically simplifies cloud operations with its software-defined system for dynamically orchestrating and enforcing cloud infrastructure at scale. Fugue uses Haskell in its product and is proud to sponsor a student to improve the ecosystem. Galois <http://galois.com/> applies cutting-edge computer science and applied mathematics to solve difficult technological problems, delivering practical solutions tailored to our clients’ needs. Haskell and other functional programming languages are key tools we use in providing these solutions. Tweag I/O <http://tweag.io/> is a network of software innovation labs across Europe. We develop novel solutions and products for our clients around the world. Haskell is key to delivering fast, correct and maintainable code. We have shipped Haskell in anything from tiny web services to large high-performance compute clusters with custom hardware. We're particularly keen to help the community grow Haskell into the strongest systems programming language and ecosystem out there. We're very proud to sponsor a student this summer to help make it happen. Finally, Davean has volunteered to fund a student expressly to work on the Hadrian build system for GHC <https://haskell-org.github.io/summer-of-haskell/ideas.html#hadrian-ghc>. Feel free to contact us at (nvazou at cs.umd.edu and m at jaspervdj.be) if want to help or if you have any ideas, questions, or concerns. Best, Niki Vazou & Jasper Van der Jeugt for the Haskell.org Committee

1 1

Senior Lectureships in Computer Science at Chalmers and Gothenburg U
by Andreas Abel 25 Apr '17

25 Apr '17

We are hiring full-time permanent lecturers! http://www.chalmers.se/en/about-chalmers/vacancies/Pages/default.aspx?rmpag… http://www.gu.se/english/about_the_university/job-opportunities/vacancies-d… The positions are focusing on teaching, but some time will be available for research as well. Excerpt from the description: Major responsibilities The scientific area is Computer Science, interpreted broadly. The position is a full-time tenured appointment with focus on education and pedagogical development. You will teach a variety of topics in Computer Science; there may include courses such as programming, data structures, algorithms and databases. You will also supervise bachelor level projects and master’s theses. Besides teaching, you will keep up with the technical and pedagogical development in the areas of the position and introduce new methods in the curriculum. As a faculty member you will share the responsibility of the administration and management of the department and the educational programmes. You will collaborate with industrial, academic or governmental partners, and take part in the research conducted at the department. In addition, you are encouraged to apply for funding of further pedagogical advancement of our programmes, and for research funding. -- Andreas Abel <>< Du bist der geliebte Mensch. Department of Computer Science and Engineering Chalmers and Gothenburg University, Sweden andreas.abel(a)gu.se http://www.cse.chalmers.se/~abela/

1 0

Munich Haskell Meeting, 2017-01-26 @ 19:30
by Christian Neukirchen 25 Apr '17

25 Apr '17

Dear all, This week, our monthly Munich Haskell Meeting will take place again on Thursday, April 27 at Augustiner-Gaststätte Rumpler (Baumstraße 21) at 19h30. For details see here: http://muenchen.haskell.bayern/dates.html If you plan to join, please add yourself to this dudle so we can reserve enough seats! It is OK to add yourself to the dudle anonymously or pseudonymously. https://dudle.inf.tu-dresden.de/haskell-munich-apr-2017/ Everybody is welcome! cu, -- Christian Neukirchen <chneukirchen(a)gmail.com> http://chneukirchen.org

1 0

VSTTE 2017 - Deadline Extension
by Andrei Paskevich 25 Apr '17

25 Apr '17

*** DEADLINE EXTENSION *** 9th Working Conference on Verified Software: Theories, Tools, and Experiments (VSTTE) https://vstte17.lri.fr July 22-23, 2017, Heidelberg, Germany Co-located with the 29th International Conference on Computer-Aided Verification, CAV 2017 Deadline Extension The deadlines for submitting abstracts and full papers have been extended by one week. The new deadlines are firm. Important Dates * Abstract submission (extended): Mon, May 1, 2017 (AoE) * Full paper submission (extended): Mon, May 8, 2017 (AoE) * Notification: Mon, Jun 5, 2017 * VSTTE: Sat-Sun, Jul 22-23, 2017 * Camera-ready: Mon, Aug 21, 2017 Overview The goal of the VSTTE conference series is to advance the state of the art in the science and technology of software verification, through the interaction of theory development, tool evolution, and experimental validation. We welcome submissions describing significant advances in the production of verified software, i.e., software that has been proved to meet its functional specifications. Submissions of theoretical, practical, and experimental contributions are equally encouraged, including those that focus on specific problems or problem domains. We are especially interested in submissions describing large-scale verification efforts that involve collaboration, theory unification, tool integration, and formalized domain knowledge. We also welcome papers describing novel experiments and case studies evaluating verification techniques and technologies. Topics of interest for VSTTE include education, requirements modeling, specification languages, specification/verification/certification case studies, formal calculi, software design methods, automatic code generation, refinement methodologies, compositional analysis, verification tools (e.g., static analysis, dynamic analysis, model checking, theorem proving, satisfiability), tool integration, benchmarks, challenge problems, and integrated verification environments. Paper Submissions We accept both long (limited to 16 pages, references not included) and short (limited to 10 pages, references not included) paper submissions. Short submissions also cover Verification Pearls describing an elegant proof or proof technique. Submitted research papers and system descriptions must be original and not submitted for publication elsewhere. Each submission will be evaluated by at least three members of the Program Committee. We expect that one author of every accepted paper will present their work at the conference. Paper submissions must be written in English using the LNCS LaTeX format (http://www.springer.com/gp/computer-science/lncs/conference-proceedings-gui…) and must include a cogent and self-contained description of the ideas, methods, results, and comparison to existing work. Papers will be submitted via EasyChair at the VSTTE 2017 conference page (https://www.easychair.org/conferences/?conf=vstte2017) The post-conference proceedings of VSTTE 2017 will be published in the LNCS series. Authors of accepted papers will be requested to sign the copyright transfer form. A selection of best papers will be invited for publication in the Journal of Automated Reasoning. Invited Speakers * Christoph Weidenbach (Max Planck Institute for Informatics, Germany) * Santiago Zanella-Beguelin (Microsoft Research, UK) Program Chairs * Andrei Paskevich (Université Paris-Sud, France) * Thomas Wies (New York University, USA) Program Committee * June Andronick (University of New South Wales, Australia) * Christel Baier (TU Dresden, Germany) * Sandrine Blazy (Université de Rennes 1, France) * Arthur Charguéraud (Inria, France) * Ernie Cohen (Amazon Web Services, USA) * Rayna Dimitrova (MPI-SWS, Germany) * Carlo A. Furia (Chalmers University of Technology, Sweden) * Arie Gurfinkel (University of Waterloo, Canada) * Hossein Hojjat (Rochester Institute of Technology, USA) * Marieke Huisman (University of Twente, Netherlands) * Bart Jacobs (KU Leuven, Belgium) * Rajeev Joshi (NASA Jet Propulsion Laboratory, USA) * Zachary Kincaid (Princeton University, USA) * Akash Lal (Microsoft Research, India) * Shuvendu Lahiri (Microsoft Research, USA) * Francesco Logozzo (Facebook, USA) * Peter Müller (ETH Zürich, Switzerland) * Jorge A. Navas (SRI International, USA) * Scott Owens (University of Kent, UK) * Gerhard Schellhorn (Universität Augsburg, Germany) * Peter Schrammel (University of Sussex, UK) * Natarajan Shankar (SRI International, USA) * Mihaela Sighireanu (Université Paris-Diderot, France) * Julien Signoles (CEA LIST, France) * Michael Tautschnig (Queen Mary University of London, UK) * Tachio Terauchi (JAIST, Japan) * Oksana Tkachuk (NASA Ames Research Center, USA) * Mattias Ulbrich (Karlsruhe Institute of Technology, Germany)

1 0

In search for an http/2 server
by Wojtek Narczyński 24 Apr '17

24 Apr '17

Honorable cafe, I'd like to experiment with http/2. The package wai used to contain Network.Wai.HTTP2, but the ChangeLog says it has been removed in 3.2.0, no further explanation given. Where should I look for an http/2 server these days? -- Kind regards, Wojtek Narczynski

2 3

ANN: Compose Unconference and Exchange [NYC, May 20-21]
by Gershom B 24 Apr '17

24 Apr '17

I'm happy to announce that we now have a venue and dates for the affiliated Unconference and Exchange (aka "hackathon") for the Compose conference in NYC. It will take place the weekend immediately following the main conference, featuring improptu tutorials, collaborative coding, and generally be a good informal opportunity to work and discuss with functional programmers of all sorts. Registration (free) is at: https://www.eventbrite.com/e/cmpse-unconference-and-exchange-2017-tickets-3… Registration for the main conference remains at: https://composeconference.eventbrite.com. Early bird tickets are now gone, so get tickets while you can! We're also happy to announce the topic of our invited keynote by Emily Riehl: A Categorical View of Computational Effects * Unconference information: http://www.composeconference.org/2017/unconference/ * Unconference registration: https://www.eventbrite.com/e/cmpse-unconference-and-exchange-2017-tickets-3… * Full conference abstracts: http://www.composeconference.org/2017/program * Conference Registration: http://composeconference.eventbrite.com * Follow @composeconf on twitter for news: https://twitter.com/composeconf * On freenode irc, chat with fellow attendees at #composeconference * Corporate sponsorships are welcome. Current sponsors list forthcoming. * Policies (diversity and anti-harassment): http://www.composeconference.org/conduct * Email us with any questions at info(a)composeconference.org * Please forward this announcement to interested parties and lists.

1 0

Fwd: 2nd Call for Papers: 16th ACM SIGPLAN Erlang Workshop 2017
by Rob Stewart 24 Apr '17

24 Apr '17

2nd CALL FOR PAPERS =============== Sixteenth ACM SIGPLAN Erlang Workshop http://erlang.org/workshop/2017/ ----------------------------------------------------------- Oxford, United Kingdom, 8 September 2017 Satellite event of the 22nd ACM SIGPLAN International Conference on Functional Programming (ICFP 2017) 3 - 9 September, 2017 The Erlang Workshop aims to bring together the open source, academic, and industrial communities of Erlang, to discuss technologies and languages related to Erlang. The Erlang model of concurrent programming has been widely emulated, for example by Akka in Scala, and even new programming languages were designed atop of the Erlang VM, such as Elixir. Therefore we would like to broaden the scope of the workshop to include systems like those mentioned above. The workshop will enable participants to familiarize themselves with recent developments on new techniques and tools, novel applications, draw lessons from users' experiences and identify research problems and common areas relevant to the practice of Erlang, Erlang-like languages, functional programming, distribution, concurrency etc. We invite three types of submissions. 1. Technical papers describing language extensions, critical discussions of the status quo, formal semantics of language constructs, program analysis and transformation, virtual machine extensions and compilation techniques, implementations and interfaces of Erlang in/with other languages, and new tools (profilers, tracers, debuggers, testing frameworks, etc.). The maximum length for technical papers is restricted to 12 pages. 2. Practice and application papers describing uses of Erlang in the "real-world", Erlang libraries for specific tasks, experiences from using Erlang in specific application domains, reusable programming idioms and elegant new ways of using Erlang to approach or solve a particular problem. The maximum length for the practice and application papers is restricted to 12 pages. Note that this is a maximum length; we welcome shorter papers also, and the program committee will evaluate all papers on an equal basis independent of their lengths. 3. Poster presentations describing topics related to the workshop goals. Each includes a maximum of 2 pages of the abstract and summary. Presentations in this category will be given an hour of shared simultaneous demonstration time. Workshop Co-Chairs ------------------ Scott Lystig Fritchie, VMware, USA Natalia Chechina, Glasgow University, UK Program Committee ----------------------------- (Note: the Workshop Co-Chairs are also committee members) Clara Benac Earle, Universidad Politecnica de Madrid, Spain Richard Carlsson, Klarna, Sweden Laura M. Castro, University of A Coruna, Spain Viktoria Fördős, Klarna, Sweden James S. Larson, Google, USA Important Dates ----------------------- Submission deadline: Fri May 26, 2017 Author notification: Fri June 23, 2017 Final submission for the publisher: Sat July 15, 2017 Workshop date: Fri September 8, 2017 Instructions to authors -------------------------------- Papers must be submitted online via EasyChair (via the "Erlang2017" event). The submission page is https://www.easychair.org/conferences/?conf=erlang2017 Submitted papers should be in portable document format (PDF), formatted using the ACM SIGPLAN style guidelines. Each submission must adhere to SIGPLAN's republication policy. Violation risks summary rejection of the offending submission. Accepted papers will be published by the ACM and will appear in the ACM Digital Library. The proceedings will be freely available for download from the ACM Digital Library from one week before the start of the conference until two weeks after the conference. Paper submissions will be considered for poster submission in the case they are not accepted as full papers. Venue & Registration Details ------------------------------------------ For registration, please see the ICFP 2017 web site at: http://icfp17.sigplan.org/ Related Links -------------------- ICFP 2017 web site: http://icfp17.sigplan.org/ Past ACM SIGPLAN Erlang workshops: http://www.erlang.org/workshop/ Open Source Erlang: http://www.erlang.org/ EasyChair submission site: https://www.easychair.org/conferences/?conf=erlang2017 Author Information for SIGPLAN Conferences: http://www.sigplan.org/authorInformation.htm Atendee Information for SIGPLAN Events: http://www.sigplan.org/Resources/Policies/CodeOfConduct/

1 0

Looking for a new stackage curator
by Adam Bergmark 23 Apr '17

23 Apr '17

Hi everyone, We are looking to expand the stackage curator team again! Please see this document for more information: https://github.com/fpco/stackage/blob/master/become-a-curator.md If you are already convinced you can go straight to https://goo.gl/forms/eD6lTLtuyyHAIcfC2 Re-applications are encouraged! Cheers, Adam

1 0

Dynamic Programming exercises
by Michael Litchard 22 Apr '17

22 Apr '17

I found the below link to be an illuminating read in regards to how to approach dynamic programming in haskell. Now I would like to test my understanding on different exercises. I'd like suggestions on problems that could be solved by the approach elucidated below. http://jelv.is/blog/Lazy-Dynamic-Programming/

3 3