Issue 326 2022-07-28
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.
GHC 9.4.1-rc1 is now available! by Ben Gamari
The GHC developers are happy to announce the availability of the first (and likely last) release candidate of GHC 9.4.1.
Back in May, I gave the opening keynote (my first keynote talk!) at the FLOPS 2022 conference. I talked about the work we’ve been doing in my group on using Liquid Haskell for verifying the correctness of distributed systems.
A dialogue with Liquid Haskell by Facundo Domínguez
In this post I will present some recent contributions of mine to LH, which give the user better access to the facts used during verification. We will go through an example of how these facts can be used to help LH prove a property in a more informed way than previously possible.
Filtering Unique Items from Heterogeneous Lists at Compile Time by Jacek Galowicz
This article is about how to filter unique items from heterogeneous lists on the type level in Haskell. This example, without further context, might look a bit esoteric by itself, but I learned a lot writing it and wanted to share the experience.
Functor, Applicative, and Why by Leo Zhang
This blog post will explain two core concepts in Haskell — Functor and Applicative, which also exist in many other functional languages. Functor and Applicative are great abstractions that allow us to reuse lots of code.
What’s That Typeclass: Functor by Alyona Antonova
This article will introduce you to Functor — a typeclass that unifies these kinds of transformations and provides common functionality for them.
Trying to hire a Haskell developer? You should advertise with us!
Data Structures: Vectors! by Monday Morning Haskell
Last week we started looking at less common Haskell data structures, starting with Arrays. Today we’re taking one step further and looking at Vectors.
Episode 141: Shriram Krishnamurthi by Functional Geekery
In this episode, I talk with Shriram Krishnamurthi. We cover his introduction to functional programming, Racket and #lang, Static vs Dynamic Typing, Bootstrap and Pyret, How to Design Programs, and much, much, more.
Haskell Foundation DevOps Weekly Log, 2022-07-22 by Bryan Richter
This week I wrapped up the script for backfilling CI failures, made some tweaks to the failure tracker, started corralling runners, and looked into a problem with marge-bot.
Set Up a Haskell Development Environment in Three Steps by Luis Morillo Najarro
A Haskell Development Environment consist in a compiler (
ghc), a language server (
hls), a building tool (
stack), and an editor compatible with the language server protocol.
Show & tell
cabal-hoogle by kokobd
cabal-hooglegenerates hoogle database for cabal project, including dependencies.
Type-Signature by andys8
A functional programming game: Basically “Who Wants to Be a Millionaire?” - but with types.