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 Bluefin, a new effect system by Tom Ellis I’ve mentioned my new effect system, Bluefin, a few times on this forum. It’s now ready for me to announce it more formally Getting your Haskell executable statically linked with Nix by Tom Sydney Kerckhove I have been making my products statically linked over the past few days. This post presents why and how to statically link your Haskell ex ..read more

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 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 demyst ..read more

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 Dyadic Decomposition using Functional lenses by Eduardo Lemos Compressors are usually implemented imperatively. Pointers and mutation are in the spotlight and it is not hard to put yourself into some spaghetti code. How functional programming abstractions deal with it? In this presentation, I explain one instance in which some of them fit like a glove to the problem on hand, going all the ..read more

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 Alias the current module with Imp by Taylor Fausak Sometimes when writing a Haskell module you want to use an identifier that would be ambiguous. For example perhaps you’re writing a logger and want to call a function log. That’s a problem because the Prelude also defines a function called log. You can’t use either one without disambiguating. Usually you will disambiguate by qualifying th ..read more

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 Announcing Imp, a GHC plugin for automatically importing modules by Taylor Fausak Typically in Haskell you have to import things before you can use them. This is widely considered to be a good idea. However sometimes it’s convenient to use something without importing it, as long as that thing is unambiguous. Neural Networks, Pre-Lenses, and Triple Tambara Modules by Bartosz Milewski N ..read more

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 Episode 44 – José Manuel Calderón Trilla by The Haskell Interlude Wouter and Niki interview Jose Calderon, the new Executive Director of the Haskell Foundation. Jose tells why he applied for the job, how he sees the foundation developing over the coming years, and how you can get involved in the Haskell community. Playing with Value Iteration in Haskell by Iago Leal de Freitas Today w ..read more

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.8.2 is now available by Zubin Duggal The GHC developers are happy to announce the availability of GHC 9.8.2. More QualifiedDo examples by Oleg Grenrus Qualified do-notation, QualifiedDo, is a nice syntactical extension in GHC. Probably its best property is that it changes semantics only locally, by using explicit “annotation”: by qualifying the do keyword. This means that enabli ..read more

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 Announcing Gild, a formatter for Haskell package descriptions by Taylor Fausak I’m happy to announce Gild, a formatter/pretty-printer for package descriptions (*.cabal files). botan-bindings & botan-low 0.0.1.0 released by Apotheca Labs This is the result of more than 7 months of sustained effort to provide a series of bindings to the Botan C++ cryptography library, and was made p ..read more

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 2024 Call for Nominations for the Haskell Foundation by Andres Löh The Board of Directors of the Haskell Foundation is pleased to announce the nomination process for Board seats. The Board provides the strategic leadership for the Foundation, and is the final decision-making body for everything the Foundation does. More specifically, it ensures that the Foundation is working toward achiev ..read more

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 A QuickCheck Tutorial: Generators by Stack Builders Learn how to use QuickCheck’s combinators to create simple generators of random values. From reversing lists to rolling dice and crafting generators for your data types, this tutorial will enhance your programming skills and help you get started with property-based testing in Haskell. This popular post was originally written in 2015 and ..read more