Haskell Weekly

Newsletter

Issue 326 2022-07-28

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.

Featured

  • 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.

  • Adventures in Building Reliable Distributed Systems with Liquid Haskell by Lindsey Kuper

    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.

Jobs

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

In brief

  • 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 (cabal or stack), and an editor compatible with the language server protocol.

Show & tell

  • cabal-hoogle by kokobd

    Miss stack hoogle? cabal-hoogle generates 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.

Call for participation