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

• Developer Nation Survey (ad)

  Tech evolution starts with you. Join the Developer Nation Survey, share your experiences, and help us redefine the future of development. Plus, we’ll donate to charity on your behalf!

• All my projects (2008-2023) by Chris Done

  It might be a “getting old[-er]” thing, but I’ve recently started feeling like documenting the complete set of software projects I’ve worked on that I remember. Not as a CV (an advertisement of paid work), but a comprehensive list of everything.

• Choreographing a dance with the GHC specializer (Part 2) by Finley McIlwaine

  This is the second of a two-part series of blog posts focused on GHC’s specialization optimization. Part 1 acts as a reference manual documenting exactly how, why, and when specialization works in GHC. In this post, we will finally introduce the new tools and techniques we’ve developed to help us make more precise, evidence-based decisions regarding the specialization of our programs.

• Election Monoids And “Equal” Votes by Chris Smith

  I care a lot about the best ways to run elections. I also care about mathematics, and algebra in particular. What happens when you mix the two? Let’s find out!

• Episode 51 — Victor Cacciari Miraldo by The Haskell Interlude

  Victor Miraldo is interviewed by Niki and Joachim and walks us through this career from a student falling in love with List.foldr through a PhD student using agda to verify cryptographic data structures and generic diff and merge algorithms to a professional developer using Haskell in production. He’ll tell us why the Haskell community is too smart, why there should be a safePerformIO, and that he hopes that Software Engineering could be less like alchemy.

• GHC activities report: March–May 2024 by Well-Typed

  This is the twenty-third edition of our GHC activities report, which describes the work Well-Typed are doing on GHC, Cabal, HLS and other parts of the core Haskell toolchain. The current edition covers roughly the months of March to May 2024.

• QuickerCheck by Robert Krook

  I recently implemented a new, parallel, runtime for QuickCheck. I would love for more people to hear about this and, most importantly, perhaps try it out. It is a simple drop-in replacement of QuickCheck. While the plan is to eventually merge it, it will take a while.

Jobs

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

In brief

• csound-expression-5.4.4 - music and sound design framework by Anton Kholomiov

  CE is a music framework for haskell with focus on ease of use and feature rich as it rides on top of the powerful audio programming language Csound. It is a DSL to build Csound programs. So the library embeds Csound in Haskell.

• Deprecation of 32-bit Darwin and Windows platforms support in GHC by Hécate Moonlight

  In the continuous effort to reduce the burden on GHC developers, some house cleaning has been done to delete dead code from GHC, and in particular: the code generation and runtime logic used by 32-bit macOS/iOS and Windows.

• Haskell Ecosystem Workshop & ZuriHac 2024 by Gautier DI FOLCO

• Haskell Language Server 2.9.0.0 by Fendor

• ShMonad - An infinitely customizable shell prompt using a Haskell DSL by Matt Hunzinger

Show & tell

• Unordered Homogeneous N-tuples for Guaranteed Commutativity by Dani Rybe

  Defining a type of unordered containers and using it to write commutative functions.

Call for participation

• Portland Has Skill by Kyle Beechly

  Haskell group in Portland, Oregon! We’re an informal association of coders using the Haskell programming language. We welcome folks of all levels of experience, from newbies to experts.

• postgrest: Improve error messages for JWT verification errors

• shmonad: Add/verify support for other shells