Haskell Weekly

Welcome to another issue of Haskell Weekly! Haskell is a safe, purely functional programming language with a fast, concurrent runtime. This is a weekly summary of what’s going on in its community.

Featured

• Typed Programs Don’t Leak Data by Mistral Contrastin

  In which we turn privacy violations into compile-time errors in a simple imperative language embedded in Haskell and enforce it in style using GADTs.

• Arming polysemy with Arrows by Robert Peszek

  The goal of this post is to show how to use arrows when working with or creating polysemy effects.

• Associated Types In Two Different Ways by Morrow

  Suppose you wanted to write a type class for indexable containers. But now, we decide that we also want to be able to index Maps as well. The issue is that we’ve already hard-coded the index type to be Int.

• Functors and Monads For People Who Have Read Too Many “Tutorials” by Jeremy Bowers

  This may not be the best place to learn about these concepts for the first time, because I’m going to focus on knocking down the misconceptions about them. Then again, it may not be the worst place, for the same reason.

• The tail of an off-by-one error in GHC’s linker by Moritz Angermann

  This is the story of an odd off-by-one error in GHC’s internal static linker for the Mach-O file format on AArch64. This is our beloved macOS/iOS platform!

• Towers of Hanoi from a Random Start by Chris Smith

  Lately, I’ve been pondering the case where, instead of starting with all disks in the first tower, we start with some arbitrary starting configuration. What can we say about this problem?

Jobs

Trying to hire a Haskell developer? You should advertise with us!

In brief

• Awesome list of Haskell mentors by Vladislav Sabanov

  An amazing list of Haskell developers who would like to mentor beginner-contributors in open source projects.

Call for participation

• HMock: Simpler API for TH generators