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

• Compiling to Intrinsically Typed Combinators by Brent Yorgey

  How to compile a functional language via combinators (and evaluate via the Haskell runtime) while keeping the entire process type-indexed, with a bibliography and lots of references for further reading.

• Haskell and Hacking: Reflections on the GHC Contributors’ Workshop and ZuriHac by Ryan Scott

  Now that I have returned from the workshop, I’ll use this blog post to recall my experiences and reflect on how the workshop went.

• Haskell Foundation DevOps Yearly Log - July 2023 by Bryan Richter

  Hello, and welcome to the first Haskell Foundation DevOps yearly log, where I document my work to shape the Haskell of the future.

Jobs

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

In brief

• Episode 147: Gabriella Gonzalez discusses the intersection of algebra and programming by Elucidations Podcast

  In this episode, Matt talks to Gabriella Gonzalez about how basic concepts from the branch of math known as abstract algebra can help us simplify our computer programs and organize our thoughts.

• Episode 30: Bartosz Milewski by The Haskell Interlude

  Bartosz shares his thoughts on the “fringe topics” in programming, from C++ templates to category theory in Haskell. How he considers monads to be like fingers sticking out of the water. And he’ll talk a little bit about his upcoming book and his thoughts on linear types.

• IOG GHC Update #14 by IOG

  Biweekly update from the GHC DevX team at IOG.

• Quotient Haskell: Lightweight Quotient Types for All by Heneli Kailahi

  A key difficulty to wider adoption of quotient types lies in the significant burden of proof-obligations that arises from their use. In this article, we address this issue by introducing a class of quotient types for which the proof-obligations are decidable by an SMT solver.

• Your Moderators by David Christiansen

  After deliberation and discussion, we’re pleased to announce that the new moderation team for this subreddit.

Show & tell

• fernery by Joshua O’Sullivan

  A CLI tool for generating images of ferns and other Iterated Function Systems.

• ghcup version 0.1.19.5 release candidate by Julian Ospald

  We have been working to get GHCup up to speed wrt cross compilers and GHC JS backend. This is still experimental, which is why it’s a pre-release, so we can gather some user experience reports.

• Haskelite by Pedro Baltazar Vasconcelos

  This project is a single-step interpreter for a small subset of the Haskell language including integers, booleans, lists, tuples and recursive definitions.

• haskell-jobs-statistics by Niklas Hambüchen

  This repo collects analyses of the Haskell jobs market. Summary: The Haskell job market has been growing steadily since 2008.

• vim-word-indent by Max

  This script allows to indent and align text with the beginning of the words of the previous (lines) using standard tab and indent commands.

Call for participation

• swarm: No scenarios load when a single scenario fails to parse
• wasp: Rename password to hashedPassword in our User entity