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

• Automate your feedback loops using feedback by Tom Sydney Kerckhove

  This post announces feedback, a tool to help you and your team set up and maintain feedback loops.

• DataKinds Are Not What You Think by Vladislav Zavialov

  The DataKinds language extension doesn’t work the way you think it does… probably.

• Staged programming with typeclasses by Thomas Bagrel

  This is what we are going to do in this blog post: passing statically-known arguments at the type level.

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.

• Scientific Programmer at JST START

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

In brief

• The 30th Netherlands Functional Programming Day

  The Netherlands Functional Programming Day (a.k.a. FP Dag) is an annual gathering of researchers, students, and practitioners sharing a common interest in functional programming.

• Episode 18: Matthias Pall Gissurarson & Jimmy Koppel by The Haskell Interlude

  In this episode Matthias Pall Gissurarson & Jimmy Koppel are interviewed by Wouter Swierstra and Niki Vazou. They talk about program synthesis, typed holes, program repair, and generating properties using a new technique called ECTAs.

• FOSDEM 2023 Haskell devroom - Call for Participation by Fraser Tweedale

  I am thrilled to announce that the 2023 edition of FOSDEM, Europe’s largest free software conference, will feature a Haskell devroom (specialist track). The Call for Participation is open now, until 2022-11-28.

• Haskell Foundation DevOps Weekly Update, 2022-11-16 by Bryan Richter

  Unfortunately this one is very slim. I found it difficult to concentrate on my main task, the migration of gitlab-storage and its services, for two reasons.

• Stackage Nightly with GHC 9.2

• An Unusual Application for Dijkstra by Monday Morning Haskell

  Today will be the final write-up for a 2021 Advent of Code problem. It will also serve as a capstone for the work on Dijkstra’s algorithm I did back in the summer!

Show & tell

• Copilot version 3.12 by Ivan Perez

  Copilot is a stream-based DSL for writing and monitoring embedded C programs, with an emphasis on correctness and hard realtime requirements.

• Flat version 0.6 by Pasqualino Assini

  Reference implementation of flat, a principled and efficient binary serialization format.

• Fourmolu version 0.9 by Brandon Chinn

  Just noticed that I forgot to make an announcement for Fourmolu 0.8. If you haven’t been keeping up, lots of exciting new features in both Fourmolu 0.8 and 0.9.

• infinite-list by Andrew Lelechenko

  Modern lightweight library for infinite lists with fusion.

• notebook by Pasqualino Assini

  Have you ever felt a pang of jealousy for Python programmers and their cool data science Jupyter notebooks? Suffer no more.

• Quickstrom version 0.5 by Oskar Wickström

  Quickstrom is an autonomous testing tool for the web. It can find problems in any type of web application that renders to the DOM.

• sqlite-easy by Gil Mizrahi

  I’ve published a new package named sqlite-easy. It’s not much of an original content as much as it’s a basic wrapper around some functionality of direct-sqlite, migrant-core, and resource-pool.

Call for participation

• agda: Use Markdown in readthedocs documentation