August 2020 - Haskell

MSFP 2020 (Monday August 31st and Tuesday September 1st) - Call for Participation
by Sam Lindley 10 Aug '20

10 Aug '20

Eighth Workshop on MATHEMATICALLY STRUCTURED FUNCTIONAL PROGRAMMING Monday 31st August and Tuesday 1st September 2020, online https://msfp-workshop.github.io/msfp2020/ ** Due to the COVID-19 pandemic, MSFP 2020 will now be held as a virtual meeting ** ** Registration deadline: Tuesday 25th August ** CALL FOR PARTICIPATION Registration ============ Register for participation here by Tuesday 25th August: https://forms.gle/HNvFsxDKbGAvnv9x9 There is no registration fee. Invited Speakers ================ Pierre-Marie Pédrot - Inria Rennes-Bretagne-Atlantique, France Satnam Singh - Google Research, USA The eighth workshop on Mathematically Structured Functional Programming is devoted to the derivation of functionality from structure. It is a celebration of the direct impact of Theoretical Computer Science on programs as we write them today. Modern programming languages, and in particular functional languages, support the direct expression of mathematical structures, equipping programmers with tools of remarkable power and abstraction. Where would Haskell be without monads? Functional reactive programming without temporal logic? Call-by-push-value without adjunctions? The list goes on. This workshop is a forum for researchers who seek to reflect mathematical phenomena in data and control. The first MSFP workshop was held in Kuressaare, Estonia, in July 2006, affiliated with MPC 2006 and AMAST 2006. The second MSFP workshop was held in Reykjavik, Iceland as part of ICALP 2008. The third MSFP workshop was held in Baltimore, USA, as part of ICFP 2010. The fourth workshop was held in Tallinn, Estonia, as part of ETAPS 2012. The fifth workshop was held in Grenoble, France, as part of ETAPS 2014. The sixth MSFP Workshop was held in April 2016, in Eindhoven, Netherlands, as part of ETAPS 2016. The seventh MSFP Workshop was held in July 2018, in Oxford, UK, as part of FLoC 2018. Programme ========= All times are UTC+1 (i.e. the timezone of Dublin, Ireland where MSFP 2020 was originally scheduled to be held). Monday ------ 13:00 Invited Speaker: Pierre-Marie Pedrot All your base categories are belong to us: A syntactic model of presheaves in type theory 14:00 break 14:30 Philippa Cowderoy Information aware type systems and telescopic constraint trees 15:00 Christopher Jenkins, Aaron Stump, and Larry Diehl Efficient lambda encodings for Mendler-style coinductive types in Cedille 15:30 break 16:00 Niels Voorneveld From equations to distinctions: Two interpretations of effectful computations 16:30 Dominic Orchard, Philip Wadler, and Harley Eades III Unifying graded and parameterised monads 17:00 virtual pub Tuesday ------- 13:00 Anne Baanen and Wouter Swierstra Combining predicate transformer semantics for effects: a case study in parsing regular languages 13:30 Oleg Grenrus Shattered lens 14:00 break 14:30 Artjoms Sinkarovs Multi-dimensional arrays with levels 15:00 Fritz Henglein and Mikkel Kragh Mathiesen Module theory and query processing 15:30 break 16:00 Invited speaker: Satnam Singh Extracting low-level formally verified circuits from Cava in Coq 17:00 virtual pub Program Committee ================= Stephanie Balzer - CMU, USA Kwanghoon Choi - Chonnam, South Korea Ralf Hinze - Kaiserslautern, Germany Marie Kerjean - Inria Nantes, France Sam Lindley - Edinburgh and Imperial, UK (co-chair) Max New - Northeastern, USA (co-chair) Fredrik Nordvall-Forsberg - Strathclyde, UK Alberto Pardo - Montevideo, Uruguay Exequiel Rivas Gadda - Inria Paris, France Claudio Russo - DFINITY, UK Tarmo Uustalu - Reykjavik, Iceland Nicolas Wu - Imperial, UK Maaike Zwart - Oxford, UK Platforms ========= * We will use Google Meet for presentations. * If the number of participants is not too high then we will invite all participants to use Google Meet if they wish. * Regardless, we will also livestream talks via YouTube. * Questions and general discussion will be handled through Zulip. * We will use gather.town for "corridor chat". Further details will be emailed to registered participants. -- The University of Edinburgh is a charitable body, registered in Scotland, with registration number SC005336.

1 0

[ANNOUNCE] Glasgow Haskell Compiler 8.10.2 released
by Ben Gamari 08 Aug '20

08 Aug '20

Hello all, The GHC team is happy to announce the release of GHC 8.10.2. Source and binary distributions are available at the usual place: https://downloads.haskell.org/ghc/8.10.2/ GHC 8.10.2 fixes a number of issues in present in GHC 8.10.1 including: * Fixes a bug in process creation on Windows (#17926). * Fixes a code generation bug resulting in incorrect code generation for foreign calls with complex arguments (#18527) * Fixes a bug causing object merging to fail when the lld linker is in use (#17962) * Introduces a workaround for a Linux kernel bug in the implementation of the timerfd mechanism (#18033). * Fixes a few specialiser regressions (#17810, #18120) as well introduces a variety of miscellaneous specialiser improvements (#16473, #17930, #17966) * Fixes a potential loss of sharing due to left operator sections (#18151). * Fix bootstrapping of GHC with the LLVM backend on x86-64 (#17920). * A few important correctness fixes for the low-latency garbage collector. Users of `--nonmoving-gc` are strongly encouraged to upgrade promptly. Note that at the moment we still require that macOS Catalina users exempt the binary distribution from the notarization requirement by running `xattr -cr .` on the unpacked tree before running `make install`. This situation will hopefully be improved for GHC 9.0.1 with the resolution of #17418 [1]. Cheers, - Ben [1] https://gitlab.haskell.org/ghc/ghc/issues/17418

1 0

Call for Tutorial Participation: ICFP 2020
by Sam Tobin-Hochstadt 07 Aug '20

07 Aug '20

CALL FOR TUTORIAL PARTICIPATION ICFP 2020 25th ACM SIGPLAN International Conference on Functional Programming August 23 - 28, 2020 Virtual https://icfp20.sigplan.org/ Early Registration ends August 8! The 25th ACM SIGPLAN International Conference on Functional Programming will be held virtually 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. This year, ICFP features a wide variety of tutorials on topics related to functional programming, including design, education, tools, and more. Tutorials are available to all ICFP participants with registration. Tutorials occur before or after ICFP, co-located with the associated workshops, on August 23 or August 27-28. The schedule of ICFP Tutorials can be found at: https://icfp20.sigplan.org/track/icfp-2020-tutorials#program ICFP Early Registration ends on August 8th, and is available at: https://icfp20.sigplan.org/attending/Registration

1 0

Second Call for Participation: ICFP 2020
by Sam Tobin-Hochstadt 07 Aug '20

07 Aug '20

===================================================================== Second Call for Participation ICFP 2020 25th ACM SIGPLAN International Conference on Functional Programming and affiliated events August 23 - August 28, 2020 Online http://icfp20.sigplan.org/ Early Registration ends August 8! ==================================================================== ICFP provides a forum for researchers and developers to hear about the latest work on the design, implementations, principles, and uses of functional programming. The conference covers the entire spectrum of work, from practice to theory, including its peripheries. Watch our new video, and Don't Stop ICFP: https://www.youtube.com/watch?v=Fte5wwnwCws Early Registration ends August 8th! Registration for students with an ACM or SIGPLAN membership is free, and anyone can apply for a fee waiver at: https://icfp20.sigplan.org/attending/Registration This year, the conference will be a virtual event. All activities will take place online. The main conference will take place from August 24-26, 2020 during two time bands. The first band will be 9AM-5:30PM New York, and will include both technical and social activities. The second band will repeat (with some variation) the technical program and social activities 12 hours later, 9AM-5:30PM Beijing, the following day. We've written a blog post about how conference mirroring will work for ICFP: https://blog.sigplan.org/2020/08/04/come-to-virtual-icfp/ We’re excited to announce our two invited speakers for 2020: Evan Czaplicki, covering the Elm programming language and hard lessons learned on driving adoption of new programming languages; and Audrey Tang, Haskeller and Taiwan’s Digital Minister, on how software developers can contribute to fighting the pandemic. ICFP has officially accepted 37 exciting papers, and (as a fresh experiment this year) there will also be presentations of 8 papers accepted recently to the Journal of Functional Programming. Co-located symposia and workshops will take place the day before and two days immediately after the main conference. Registration is now open. The early registration deadline is August 8th, 2020. Registration is not free, but is significantly lower than usual. Students who are ACM or SIGPLAN members may register for FREE before the early deadline. https://regmaster.com/2020conf/ICFP20/register.php New this year: Attendees will be able to sign-up for the ICFP Mentoring Program (either to be a mentor, receive mentorship or both). * Overview and affiliated events: http://icfp20.sigplan.org/home * Full Schedule: https://icfp20.sigplan.org/program/program-icfp-2020 * Accepted papers: http://icfp20.sigplan.org/track/icfp-2020-papers#event-overview * JFP Talks: https://icfp20.sigplan.org/track/icfp-2020-jfp-talks#event-overview * Registration is available via: https://regmaster.com/2020conf/ICFP20/register.php Early registration ends 8 August, 2020. * Programming contest: https://icfpcontest2020.github.io/ * Student Research Competition: https://icfp20.sigplan.org/track/icfp-2020-Student-Research-Competition * Follow us on Twitter for the latest news: http://twitter.com/icfp_conference This year, there are 10 events co-located with ICFP: * Erlang Workshop (8/23) * Haskell Implementors' Workshop (8/28) * Haskell Symposium (8/27-8/28) * Higher-Order Programming with Effects (8/23) * miniKanren Workshop (8/27) * ML Family Workshop (8/27) * OCaml Workshop (8/28) * Programming Languages Mentoring Workshop (8/23) * Scheme Workshop (8/28) * Type-Driven Development (8/23) ### ICFP Organizers General Chair: Stephanie Weirich (University of Pennsylvania, USA) Program Chair: Adam Chlipala (MIT, USA) Artifact Evaluation Co-Chairs: Brent Yorgey (Hendrix College, USA) Ben Lippmeier (Ghost Locomotion, Australia) Industrial Relations Chair: Alan Jeffrey (Mozilla Research, USA) Programming Contest Organizer: Igor Lukanin (Kontur, Russia) Publicity and Web Chair: Sam Tobin-Hochstadt (Indiana University, USA) Student Research Competition Chair: Youyou Cong (Tokyo Institute of Technology, Japan) Workshops Co-Chair: Jennifer Hackett (University of Nottingham, UK) Leonidas Lampropoulos (University of Pennsylvania, USA) Video Chair: Leif Andersen (Northeastern University, USA) Student Volunteer Co-Chair: Hanneli Tavante (McGill University, Canada) Victor Lanvin (IRIF, Université Paris Diderot, France)

1 0