Haskell Weekly

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

• The unreasonable effectiveness of polymorphic records by Clément Delafargue

  An exploration of patterns made possible by polymorphic records in Haskell.

• Competitive programming in Haskell: Infinite 2D array, Level 1 by Brent Yorgey

  In my previous post, I challenged you to solve Infinite 2D Array using Haskell.

• Day 7 - File System Shaving by Monday Morning Haskell

  Our input is a series of file system commands that list the directories and files (with their sizes) on a computer.

• Delimiter-first code by Alex Rogozhnikov

  I argue for wider usage of delimiter-first in the code. A new top-level syntax for programming languages is proposed to show advantages of this method.

• Haskell Foundation October and November 2022 Update by David Christiansen

  The Haskell Error Index and Stack now support each other! This means that after the next release, Stack errors such as malformed stack.yaml files will report an error code that can be looked up for specific documentation.

• Higher-orderness is first-order interaction by Yann Hamdaoui

  We will review the example of higher-order contracts in this post. We will also present direct application of interactive semantics in the design and the implementation of programming languages.

• Solving Rock-Paper-Scissors In Type-Level Haskell by Abhinav Sarkar

  Let’s solve part 1 of today’s Advent of Code challenge “Rock Paper Scissors” in type-level Haskell.

Jobs

• Move Your Career Forward Developing Haskell at an AI Startup (Remote) (ad)

  Subtle Medical has a very successful product offering and contracts in hand, but the company needs additional help delivering on all those contracts. If you might be interested in developing Haskell to provide the tools to accelerate delivery and thereby contribute prominently to the company’s success, then we’d love to start a conversation. If you’re reading this, then you’re already the kind of person that we want to talk to.

• Make an impact on the developer ecosystem (ad)

  Are you using the same platforms and apps? What have you stopped using and what are your pain points? Take part in the most complete survey Developer Nation has ever created, shape the key trends among developers for 2023 and win amazing prizes such as laptops, courses, gifts cards and many more!

• Senior Software Engineer at Flint

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

In brief

• Episode 19: Marc Scholten by The Haskell Interlude

  In this episode Marc Scholten is interviewed by Andres Löh and Joachim Breitner. They talk about the Integrated Haskell Platform web framework (IHP), implicit parameters and nix.

• GHC+DH Weekly Update #1, 2022-12-07 by Vladislav Zavialov

  Hi all, it’s time for the first weekly update on the implementation of dependent types in GHC.

• GHC WebAssembly Weekly Update, 2022-12-07 by Cheng Shao

• Haskell Foundation DevOps Weekly Update, 2022-12-07 by Bryan Richter

  This was a short week due to observance of Finland’s Independence Day. I focused on CI stability.

• Monthly Hask Anything (December 2022)

  This is your opportunity to ask any questions you feel don’t deserve their own threads, no matter how small or simple they might be!

Show & tell

• fourmolu version 0.10 by Brandon Chinn

  Fourmolu is an opinionated, yet configurable formatter for Haskell code. The biggest feature in this release is support for GHC 9.4.

Call for participation

• docker-haskell: Looking for maintainers
• emanote: Verify in CI: small runtime dependencies