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

• Clean Architecture Revisited by Thomas Mahler

  This blog post is about how I discovered the shortcomings of my original design and how I improved it with some simple refactorings.

• The difference between type variables, unification variables and skolems

  If there is one piece of advice about type inference I think everyone should hear it’s absolutely this.

• GHC 9.8.1-alpha1 is now available by Ben Gamari

  The GHC developers are very pleased to announce the availability of the first alpha prerelease of GHC 9.8.1.

• Hacking HLS: my summer of haskell journey by Nathan Maxson

  HLS specifically lists issues that are considered easy, so I picked one for writing a plugin to convert record selectors to record dot syntax.

• Run property tests until coverage stops increasing by Shae Erisson

  How many random inputs do you feed to your property and call that enough?

• What’s in a Module? by Ethan Smith

  Each language refers to a different idea when they call something a module.

Jobs

• Software Engineer at TextQL

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

In brief

• Call for Lightning Talks: Haskell Implementors’ Workshop 2023 by Ryan Scott

  The 15th Haskell Implementors’ Workshop is to be held alongside ICFP 2023 this year in Seattle.

• Episode 31: Arnaud Spiwack by The Haskell Interlude

  We learn all about linear types in Haskell, how linear types go beyond Rust’s ownership system and why it’s not always best to type check everything in core.

• GHC Status

  This page summarises the state of play of GHC’s release engineering efforts.

• Haskell Foundation DevOps Weekly Log, 2023-08-03 by Bryan Richter

  GHC CI has experienced a number of issues while I was gone, and I am now looking into the ones that remain.

• Monthly Hask Anything (August 2023)

  This is your opportunity to ask any questions you feel don’t deserve their own threads, no matter how small or simple they might be!

• Seeking new upload approvers for Hackage by David Christiansen

  The Hackage Trustees are seeking volunteers to help with the creation of new user accounts.

• Template project for nightly ghc testing by Jappie Klooster

  If you are a library maintainer or a commercial user of Haskell, we’ve got good news for you! We’ve created a template project for running GHC nightly builds.

Show & tell

• Amazonka version 2.0 by Brendan Hay

  The Amazonka team would like to announce the full 2.0.0 release now available on Hackage.

• avif by Vanessa McHale

  High-level bindings to libavif.

Call for participation

• Populate “Input” and “Input Constraints” fields of IMs automatically