Haskell Weekly


Issue 361 2023-03-30

Subscribe now! We'll never send you spam. You can also follow us on Twitter or with 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.


  • Summer of Haskell 2023

    We are pleased to announce that Haskell.Org in collaboration with the Haskell Foundation will be hosting the Summer of Haskell 2023! This program will be occurring independently from Google Summer of Code but offers the same opportunities, including mentorship and a stipend, to would-be Haskell contributors.

  • Algebraic Path Finding by Iago Leal de Freitas

    There’s something magical about polymorphic algorithms. Really, isn’t it awesome to write a piece of code once and then just tweak the meaning of some inputs to solve another seemly unrelated problem?

  • Cabal, tree-sitter, and consult by Magnus Therning

    After my last post I thought I’d move on to implement the rest of the functions in haskell-mode’s major mode for Cabal, functions like haskell-cabal-goto-library-section and haskell-cabal-goto-executable-section.

  • Calling Purgatory from Heaven: Binding to Rust in Haskell by Edsho de Vries

    In this blog post, we will consider how to call functions written in Rust instead: not quite hell, but not quite heaven either.

  • Copilot + Static Typing = <3

    To my surprise, it’s been a good experience, despite Haskell not being one of Copilot’s officially supported languages.

  • Debunking Haskell Myths and Stereotypes by Zelenya

    Haskell is covered with myths and stereotypes, such as “You need a Ph.D. to do Haskell” or “Haskell is only good for writing compilers”. These are silly and not true.

  • Developing network related libraries in Haskell in 2022FY by Kazu Yamamoto

    This article is my annual report of 2022FY(fiscal year in Japan; from April 2022 to March 2023). My mission in IIJ is contribute to standardizations of new network protocols by their implementations.

  • Linear Constraints: the problem with scopes by Arnaud Spiwack

    This is the second of two companion blog posts to the paper Linearly Qualified Types, published at ICFP 2021 (there is also a long version, with appendices).


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

In brief

  • Agda Implementors’ Meeting XXXVI by Bohdan Liesnikov

    The thirty-sixth Agda Implementors’ Meeting will take place in Delft, NL from Wednesday, 2023-05-10 to Tuesday, 2023-05-16. The meeting aims to bring together people not only developing but also using Agda. We will have talks on the implementation details of Agda in the morning and code sprints in the afternoon. There’s a (soft) deadline for registration on 2023-04-12.

  • An apologia of lazy evaluation by Ruben Astudillo

    It is not my intention straw man my way on apologetics. But before discussing these points we need to talk about value systems.

  • CLC: Status of ALL proposals by Dmitrii Kovanikov

    A couple of weeks ago, I started the initiative to track the progress of all approved proposals in the new CLC process, and I’d like to share the final results.

  • GHC WebAssembly Weekly Update, 2023-03-29 by Cheng Shao

  • Haskell Foundation DevOps Weekly Log, 2023-03-29 by Bryan Richter

    Hello, it’s time for the 37th weekly log!

  • IOG GHC Update #6 by IOG

    Biweekly update from the GHC DevX team at IOG.

  • NASA’s Ogma – now with FPrime support by Ivan Perez

    This is one of the biggest releases of Ogma ever: We can now generate monitors for FPrime, a component-based flight software framework used in many NASA missions, including the Ingenuity Mars Helicopter.

  • New Free Course: Setup.hs! by Monday Morning Haskell

    You can read all the Haskell articles you want, but unless you write the code for yourself, you’ll never get anywhere! But there are so many different tools and ideas floating around out there, so how are you supposed to know what to do?

Show & tell

  • haskell-ai-shell by Daniel Firth and Max Tomago

    GPT enabled shell using the horizon-ai package set.

Call for participation