- Haskell-Cafe - Haskell.org

Re: [Haskell-cafe] [FP] Postdoc position at University of Bristol in functional programming
by Meng Wang 04 Nov '19

04 Nov '19

Dear Haskellers, The programming languages group at Bristol has an open post doc position in the area of functional programming. Haskell programmers are particularly welcome. Please pass it on to anyone who might be interested. Thanks! Best regards, Meng Meng Wang, PhD (Oxon) Senior Lecturer (Associate Professor) Department of Computer Science University of Bristol Merchant Venturers Building, Woodland Road, Clifton BS8 1UB +44 (0) 117 954 5145 meng.wang(a)bristol.ac.uk We are looking for an enthusiastic, self-motivated individual to contribute to an EPSRC-funded project, which aims to design programming languages that guarantee strong properties, and the application of them. The post holder will be based in the programming languages group at the University of Bristol Computer Science Department, which consists of three academics, two PDRAs, and a number of PhD students. You will also be working with a network of partners from Oxford, Edinburgh, Tohoku Japan, Chalmers Sweden, and industrial partner DFINITY Foundations providing expertise on WebAssembly. You should have a PhD in programming languages, or a closely related field. This post is available immediately and is offered on a full-time based for an initial term of three years. Appointment at a higher salary point than grade I is possible based on relevant experience. Informal enquiries should be addressed to Dr. Meng Wang (meng.wang(a)bristol.ac.uk) For more details about this position, please see: http://www.bristol.ac.uk/jobs/find/details.html?nPostingID=57894&nPostingTa… Deadline: 25 November 2019

1 0

2019 State of Haskell Survey
by Taylor Fausak 04 Nov '19

04 Nov '19

Hi friends! I am excited to announce the third annual State of Haskell Survey. I’d appreciate it if you could take a few minutes to fill it out. Thanks! https://haskellweekly.news/survey/2019.html

4 4

Journal of Functional Programming - Call for PhD Abstracts
by Graham Hutton 04 Nov '19

04 Nov '19

============================================================ CALL FOR PHD ABSTRACTS Journal of Functional Programming Deadline: 30th November 2019 http://tinyurl.com/jfp-phd-abstracts ============================================================ PREAMBLE: Many students complete PhDs in functional programming each year. As a service to the community, twice per year the Journal of Functional Programming publishes the abstracts from PhD dissertations completed during the previous year. The abstracts are made freely available on the JFP website, i.e. not behind any paywall. They do not require any transfer of copyright, merely a license from the author. A dissertation is eligible for inclusion if parts of it have or could have appeared in JFP, that is, if it is in the general area of functional programming. The abstracts are not reviewed. Please submit dissertation abstracts according to the instructions below. We welcome submissions from both the PhD student and PhD advisor/supervisor although we encourage them to coordinate. ============================================================ SUBMISSION: Please submit the following information to Graham Hutton <graham.hutton(a)nottingham.ac.uk> by 30th November 2019: o Dissertation title: (including any subtitle) o Student: (full name) o Awarding institution: (full name and country) o Date of PhD award: (month and year; depending on the institution, this may be the date of the viva, corrections being approved, graduation ceremony, or otherwise) o Advisor/supervisor: (full names) o Dissertation URL: (please provide a permanently accessible link to the dissertation if you have one, such as to an institutional repository or other public archive; links to personal web pages should be considered a last resort) o Dissertation abstract: (plain text, maximum 350 words; you may use \emph{...} for emphasis, but we prefer no other markup or formatting; if your original abstract exceeds the word limit, please submit an abridged version within the limit) Please do not submit a copy of the dissertation itself, as this is not required. JFP reserves the right to decline to publish abstracts that are not deemed appropriate. ============================================================ PHD ABSTRACT EDITOR: Graham Hutton School of Computer Science University of Nottingham Nottingham NG8 1BB United Kingdom ============================================================ This message and any attachment are intended solely for the addressee and may contain confidential information. If you have received this message in error, please contact the sender and delete the email and attachment. Any views or opinions expressed by the author of this email do not necessarily reflect the views of the University of Nottingham. Email communications with the University of Nottingham may be monitored where permitted by law.

1 0

hindent: maintainer needed
by Christopher Done 03 Nov '19

03 Nov '19

Hi all, I'm sunsetting my maintenance of hindent. It basically does what I want and has done for the last four years. I've put enough hours into this project that I'm ready to move onto new things. The approach of using GHC to format code is already being explored by at least two other projects: * brittany <http://hackage.haskell.org/package/brittany> * ormolu <https://github.com/tweag/ormolu> So if you still want hindent to continue being updated, I suggest you take over as maintainer, either as a group or an individual. Feel free to comment here. I'm happy to create an organization and move the project into it. In the absence of anyone taking over, the GitHub project will be archived on Jan 31st. By that point, the issues/PRs will be lost. There is a related GitHub issue here: <https://github.com/chrisdone/hindent/issues/557> Cheers, Chris

2 1

Call for maintainer: formatting package
by Christopher Done 03 Nov '19

03 Nov '19

Hi all, The formatting package needs a maintainer. I made this package 6 years ago based on the HoleyMonoid package's idea. I thought it would become a staple package for me. Since then, I have basically never actually used it in a project. It turns out, I don't like the printf-style of doing printing at all, and prefer to just manually append things. As such, it doesn't make sense for me to maintain this package. Feel free to comment here or on the GitHub issue if you are interested: https://github.com/chrisdone/formatting/issues/58 Cheers, Chris

1 0

Expired certificate for prime.haskell.org
by Simon Jakobi 02 Nov '19

02 Nov '19

Hi! I just wanted to give someone a link to the Semigroup-Monoid-proposal, but couldn't open the page in Chromium: https://prime.haskell.org/wiki/Libraries/Proposals/SemigroupMonoid There's already a short email thread regarding the issue from April on the haskell-prime mailing list: https://mail.haskell.org/pipermail/haskell-prime/2019-April/004448.html It would be nice if proposals like the SMP remained accessible! Cheers, Simon

2 3

How to build a horse with Haskell (comic extension)
by J Ho 31 Oct '19

31 Oct '19

There was this comics “how to build a horse” with different languages. I’ve always felt Haskell was missing. Found this on Quora - https://www.quora.com/How-do-you-build-a-horse-with-the-Haskell-programming… How to build a horse with Haskell. Building just a horse is boring, so you generalize it to a spherical horse in vacuum that can represent other animals sufficiently well. It takes 5 years, 43 research papers and only 3 people in the world can ride it (including SPJ). You build a horse. It’s fast, but lazy. You build a beautiful, friendly horse. You call it Monadic Quadro-pedo-functorial Transporter. People are afraid to touch it and it dies of loneliness. You build something that is Maybe a horse. All your horses come in boxes with bottom. You were a java programmer so you build a horse factory. It gives you Either a horse or a terrible runtime abomination. You build an existential horse. You can’t see or access its hoofs, tail, back, anything. It just sort of sits there and stares at you. You build an infinitely large horse. You can still ride it, because it’s lazy (it just sits there, just like the existential, and you crawl on its back slowly). You tease Java programmers who can’t possibly ride infinite horses. You build an even faster horse that is unboxed. You notice it is eager. You build a higher-kinded Horsificator. It turns anything else into horses. data Horsificator a = Horse a | Abomination You want to ride a rhino, but they normally would kill you. You build a horse typeclass. You make rhinos an instance of Horse. Polymorphic domestication!

1 0

Call for Workshop Proposals: ICFP 2020
by Sam Tobin-Hochstadt 30 Oct '19

30 Oct '19

CALL FOR WORKSHOP AND CO-LOCATED EVENT PROPOSALS ICFP 2020 25th ACM SIGPLAN International Conference on Functional Programming August 23 - 28, 2020 Jersey City, NJ, US https://icfp19.sigplan.org/ The 25th ACM SIGPLAN International Conference on Functional Programming will be held in Jersey City, New Jersey on August 23-28, 2020. ICFP provides a forum for researchers and developers to hear about the latest work on the design, implementations, principles, and uses of functional programming. Proposals are invited for workshops (and other co-located events, such as symposiums) to be affiliated with ICFP 2020 and sponsored by SIGPLAN. These events should be less formal and more focused than ICFP itself, include sessions that enable interaction among the attendees, and foster the exchange of new ideas. The preference is for one-day events, but other schedules can also be considered. The workshops are scheduled to occur on August 23rd (the day before ICFP) and 27-28th of August (the two days after ICFP). ---------------------------------------------------------------------- Submission details Deadline for submission: November 15, 2019 Notification of acceptance: December 13, 2019 Prospective organizers of workshops or other co-located events are invited to submit a completed workshop proposal form in plain text format to the ICFP 2020 workshop co-chairs (Jennifer Hackett and Leonidas Lampropoulos) via email to icfp-workshops-2020(a)googlegroups.com by November 15, 2019. (For proposals of co-located events other than workshops, please fill in the workshop proposal form and just leave blank any sections that do not apply.) Please note that this is a firm deadline. Organizers will be notified if their event proposal is accepted by December 13, 2019, and if successful, depending on the event, they will be asked to produce a final report after the event has taken place that is suitable for publication in SIGPLAN Notices. The proposal form is available at: http://www.icfpconference.org/icfp2020-files/icfp20-workshops-form.txt Further information about SIGPLAN sponsorship is available at: http://www.sigplan.org/Resources/Proposals/Sponsored/ ---------------------------------------------------------------------- Selection committee The proposals will be evaluated by a committee comprising the following members of the ICFP 2020 organizing committee, together with the members of the SIGPLAN executive committee. Workshop Co-Chair: Jennifer Hackett (University of Nottingham) Workshop Co-Chair: Leonidas Lampropoulos (University of Maryland) General Chair: Stephanie Weirich (University of Pennsylvania) Program Chair: Adam Chlipala (MIT) ---------------------------------------------------------------------- Further information Any queries should be addressed to the workshop co-chairs (Jennifer Hackett and Leonidas Lampropoulos), via email to icfp-workshops-2020(a)googlegroups.com.

1 0

A Haskell meetup in San Francisco today
by Dimitri DeFigueiredo 29 Oct '19

29 Oct '19

After a long wait, there's a haskell meetup in San Francisco today. https://www.meetup.com/Bay-Area-Haskell-Users-Group/events/265110367/ Exciting! :-) Dimitri -- 2E45 D376 A744 C671 5100 A261 210B 8461 0FB0 CA1F

1 0

ANN: reflex-basic-host-0.2.0.1, reflex-backend-socket-0.2.0.0
by Jack Kelly 29 Oct '19

29 Oct '19

I have just pushed two packages to hackage: 1. reflex-basic-host-0.2.0.1[1], a reflex host library for backend work, and 2. reflex-backend-socket-0.2.0.0[2] a reflex-flavoured wrapper around TCP sockets. The most important changes to reflex-basic-host are: * Hosts no longer needlessly fork a thread, meaning that it is safe to call native code which expects all library calls to come from a common thread; and * Each host runs in a separate Reflex timeline, which makes it possible to run multiple Reflex hosts in parallel. There is an example[3] on GitHub demonstrating two hosts passing messages to each other. I hope people find it useful. GitHub issues and PRs welcome[4, 5]. Best, -- Jack [1] https://hackage.haskell.org/package/reflex-basic-host-0.2.0.1 [2] https://hackage.haskell.org/package/reflex-backend-socket-0.2.0.0 [3] https://github.com/qfpl/reflex-basic-host/blob/master/example/Multithread.hs [4] https://github.com/qfpl/reflex-basic-host [5] https://github.com/qfpl/reflex-backend-socket

1 0