Haskell Weekly


Issue 200 2020-02-27

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.


  • GHC 8.8.3 released by Ben Gamari

    The GHC team is proud to announce the release of GHC 8.8.3.

  • Haskell.org by Google Summer of Code

    In Google Summer of Code, we attempt to improve not only the language, but the whole ecosystem.

  • Sockets and Pipes by Type Classes

    Sockets and Pipes is not an introduction to Haskell; it is an introduction to writing software in Haskell.

  • New chapters! by Renzo Carbonara

    It’s been a while since the last mail, but here it is, bearing news of 28 new fine chapters available for you to enjoy.

  • Free Monads from Scratch by Ben Siraphob

    This blog post is not about monad transformers, it’s about another idea that’s less well-known, free monads, a neat way to combine effects with less boilerplate.

  • Explaining with Haskell by Chris Martin

    For a long time, my impression of software was that code is always a dirty thing.

  • Cautiously sniffling your UI by Sean Chalmers

    I will point at the things I think might be of interest in cautious-sniffle and then move on with a cool thing you can do with it.

  • Testing higher-order properties with QuickCheck by Li-yao Xia

    I have just released two libraries to enhance QuickCheck for testing higher-order properties. This is a summary of their purpose and main features.

  • Type Witnesses in Haskell by Sandeep Chandrika

    In simple terms, a runtime witness is a value that in some way holds some type-level information associated with a polymorphic value and makes it available to the type checking process.

  • Knot-tying: why and how (and my opinions on it) by Ömer Sinan Ağacan

    When generating code I want to know the arity of the lambda, so that I can generate more efficient code.


  • Interos is Hiring Full Stack Haskell Software Engineers (ad)

    At Interos, we are disrupting the way Fortune 500 companies and government agencies identify and respond to risk within their supply chains. We deliver the data and insights to business leaders that help them identify, visualize and understand the ripple effects that could impact their supply chains, before they happen. Recently funded by Kleiner Perkins and pivoting to an automated solution, Interos is in essence, a start-up SaaS environment.

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

In brief

Show & tell

  • Haskell Profile Highlight

    Color highlighting for Haskell profiling information.

  • Perspec by Adrian Sieber

    App and workflow to perspectively correct images. For example whiteboards, document scans, or facades.

  • typelits-printf by Justin Le

    An extensible and type-safe printf from parsing GHC TypeLits Symbol literals, matching the semantics of printf from Text.Printf in base.

Call for participation