Issue 270 2021-07-01
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.
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
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?
Trying to hire a Haskell developer? You should advertise with us!
- 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.