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

• GHC 9.2.1-rc1 is now available! by Ben Gamari

  The GHC team is very happy to announce the availability of the release cadidate of the 9.2.1 release. GHC 9.2 will bring a number of exciting features.

• Haskell Love Conference

  If you’re ready to take your Haskell skills to the next level and you still haven’t made plans, register now to join us on September 10th.

• Haskell series part 3 by Pierre Guillemot

  Thank you for joining us for the third part of our Haskell series, you will find the previous article here where I explain lists and function definitions. In this article we are going to cover infix and prefix functions, and discover a little bit more about types.

• Avoiding quadratic core code size with large records by Edsko de Vries

  In this blog post we describe why this simple module generates so much code, and how the large-records library manages to reduce this by more than an order of magnitude.

• Designing New by Matt Parsons

  I want a better way of constructing Haskell records.

• Leibniz equality in Haskell, part 1 by Ryan Scott

  There is another way to define an equality data type, called Leibniz equality, that is equivalent in power to propositional equality. In this post, we will explore what Leibniz equality is and how to use it.

• Making XMonad menus with Dhall by Dan Firth

  We don’t want to keep lots of hardcoded string in Haskell, but we’d be unable to program any interactivity from a yaml or json config format. Let’s see how far we can get with dhall.

• The new GHC diagnostic infrastructure by Alfredo Di Napoli

  Starting from version 9.4, GHC will have a completely revamped API to deal with diagnostics (i.e. warnings or errors), moving away from loosely-structured strings in favour of richer Haskell types.

• State of the Core Libraries Committee Update by Emily Pillmore

  We all agreed that the CLC was not functioning as a committee currently, and litigated why that occurred. In light of this discussion, we’ve come out with a plan for change. This post will summarize that plan.

Jobs

• Senior Haskell developer (ad)

  Do you want to put real climate science in the hands of the public? We are looking for more team members who wants to join us as a senior haskell developer. Let’s change the world, together!

• Full stack functional developer (ad)

  We are growing continuously and looking for more great team members. Do you want to put real climate science in the hands of the public? Let’s change the world, together!

• Staff Software Engineer at Freckle

• Functional Programmer at QBayLogic

• Plutus Developer at dcSpark

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

In brief

• Basic types, part 2 by Type Classes

  Next we want to give you some more types to play with, so we can start to do things that are perhaps more interesting than arithmetic.

• Daily ICFP: Day 2 by Tweag

  Several Tweagers all agreed to gather notes here about our ICFP (International Conference on Functional Programming) experiences. We plan to publish these notes every evening.

• Dependent Haskell with Vladislav Zavialov by Haskell Weekly Podcast

  Curious about dependent types? Special guest Vladislav Zavialov from Serokell breaks it down for us. We discuss comparisons to refinement types, sigma and pi types, interactions with linear types, and much more!

• New Quicksort Video! by Monday Morning Haskell

  This week we’ve got a new video out! It goes in depth into the Quicksort algorithm. We compare implementations in Haskell and Python, and also consider what it really means for us to have an “In Place” algorithm that mutates our data.

Show & tell

• Text: Switch internal representation to UTF8

Call for participation

• haskell-language-server: Suggesting “Hiding other imports”-like action when ambiguity includes local definition