Haskell Weekly


Issue 356 2023-02-23

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.


  • Building real-world Haskell applications using Tagless-Final and ReaderT by Amogh Rathore

    I have been learning and playing with Haskell on-and-off for a couple of years now. However, I was still not very confident that I could write a real-world application in it.

  • Interface Files with Core Definitions by Matthew Pickering

    In this post, I will explain a new feature which allows GHC to store the Core definitions of entire modules in interface files.

  • Monad Transformer Compatibility by Felix Springer

    A monad transformer stack will provide access to many monad type classes. But you have to be careful, which transformers can be stacked.

  • Optimizing Haskell Code for Runtime Verification by Constantine Ter-Matevosian & Sergey Gulin

    The collaboration involved work on making optimizations to K, a rewrite-based executable semantic framework in which programming languages, type systems, and formal analysis tools can be defined with the help of configurations and rewrite rules.

  • Platonic Hask overview: representable functors and monoidal category structures by Vitalii Guzeev

    We have constructed the category of restricted Haskell types. There is nothing particularly useful in this construction yet. We need additional structure and we add it post by post.

  • Squeezing a Sokoban game into 10 lines of code by Cole Kurashige

    Although code golfing is an ultimately frivilous endeavor, I had a lot of fun trying to fit as much as I could into my game and I’m pleased with how it turned out.

  • Understanding horizon Haskell (part 1) by Dan Firth

    This is the first in a series of blog posts on horizon haskell. In this first post, we’re going to explain what Horizon is, what problem it solves, and how to get set up using one of the open source package sets.


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

In brief

Show & tell

  • marching-cubes by Stéphane Laurent

    Pure Haskell implementation of the marching cubes algorithm.

  • weierstrass-functions by Stéphane Laurent

    Evaluation of Weierstrass elliptic functions and some related functions.

Call for participation