Haskell Weekly


Issue 416 2024-04-18

Subscribe now! We'll never send you spam. You can also follow our feed. Read more issues in the archives.

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.


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

    Overloaded functions are common in Haskell, but they come with a cost. Thankfully, the GHC specialiser is extremely good at removing that cost. We can therefore write high-level, polymorphic programs and be confident that GHC will compile them into very efficient, monomorphised code. In this episode, we’ll demystify the seemingly magical things that GHC is doing to achieve this.

  • Core Inspection by Oleg Grenrus

    Luckily, relatively recently, GHC got a feature to include all Core bindings in the interface files. While the original motivation is different (to make Template Haskell run fast), the -fwrite-if-simplified-core enables us to inspect (as in inspection testing) the “production” Core (not the test examples).

  • Episode 47 – Avi Press by The Haskell Interlude

    Avi Press is interviewed by Joachim Breitner and Andres Löh. Avi is the founder of Scarf, which uses Haskell to analyze how open source software is used. We’ll hear about the kind of shitstorm telemetry can cause, when correctness matters less than fearless refactoring and how that can lead to statically typed Stockholm syndrome.

  • GHC 9.6.5 is now available by Zubin

    The GHC developers are happy to announce the availability of GHC 9.6.5. Binary distributions, source distributions, and documentation are available on the release page.

  • GHC 9.10.1-alpha3 is now available by Ben Gamari

    The GHC developers are very pleased to announce the availability of the third alpha release of GHC 9.10.1.

  • Why streaming Is My Favourite Haskell Streaming Library by Jack Kelly

    It’s really easy to misuse lazy I/O (e.g., hGetContents) in nontrivial Haskell programs. You can accidentally close a Handle before the computation which reads from it has been forced, and it’s hard to predict exactly when data will be produced or consumed by IO actions. Streaming libraries in Haskell avoid these problems by explicitly interleaving the yielding of data and execution of effects, as well as helping control the memory usage of a program by limiting the amount of data “in flight”.


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

In brief

  • cabal-prettify can now add modules to exposed-modules or other-modules automagically! by Ignat Insarov

    There is this tool called cabal-prettify that I built some time ago. I just put online a new version that will add whatever modules it can find to exposed-modules or other-modules automagically, so long as you give it the flag expose.

  • IOG GHC Update #27 by the GHC DevX team at IOG

    We continued with the cardano-node performance regression investigation and ran more benchmarks and comparisons. We confirmed that the Crypto typeclass parameterization is causing a significant performance overhead and that specializing to StandardCrypto in a few places reduces allocations by 50% on GHC 9.6. The performance gap between GHC 8.10 and GHC 9.6 is completely closed by doing this optimization. Because of this result, the cardano-ledger team is now considering removing the Crypto typeclass in a future release.

  • Radix-tree-1.0: trees that radix by Oleksii Divak

    I have previously voiced my dissatisfaction with the lack of both radix trees and lazy data structures, so after a half a year of figuring radix trees out I’m proud to present this monstrosity of a package.

  • symbol-parser: Type level string parser combinators by Ben Orchard

  • Typed finite state machine! by MiaoYang

    Hi everyone, I have developed a new library typed-fsm. It allows writing typed finite state machines.

Show & tell

Call for participation