Issue 374 2023-06-29
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.
Take the Developer Nation survey, share your opinion about tools and technologies and win cool prizes like an Apple MacBook Pro 13-Inch, Apple AirPods and dozens more! Start here!
Assumptions for Liquid Haskell in the large by Facundo Domínguez
In this post we present a specific improvement that I integrated recently, which cuts down the maintenance cost to use LH when introducing assumptions about functions coming from large or multiple packages.
Bringing Fun into FP: Interview with Impure Pics by Denis Oleynikov
In this article, we interview Jay, the mastermind behind Impure Pics. If you have been on Haskell Twitter for a while, you’ve definitely seen some of his drawings.
GHC activities report: April–May 2023 by Well-Typed
This is the eighteenth edition of our GHC activities report, which describes the work on GHC and related projects that we are doing at Well-Typed.
Haskell: How a Lazy Language Was Put to Work (Part Three) by Obsidian Systems
The history of Haskell dates back to the mid-eighties when there was a growing interest in lazy functional languages. At that time, a research committee was diligently working on designing a language suitable for teaching, research, and application development, as well as constructing large systems.
Haskell: Sourced Recursion Schemes by Leo Dillinger
This is the third article in a series about recursion, focused on developing the birecursion-schemes library, although it is starting to grow beyond that scope.
ICFP Pearl preprint on rec-def by Joachim Breitner
It is about the idea of using Haskell’s inherent ability to define recursive equations, and use them for more than just functions and lazy data structures.
LTS 21 release for ghc-9.4 and Nightly now on ghc-9.6 by Jens Petersen & Andreas Ländle
The Stackage team is very happy to announce the first Stackage LTS version 21 snapshot has been released this week, based on GHC stable version 9.4.5.
Monadic lenses are the optic for right monad modules III by Jules Hedges
If we’d like both our forwards and backwards passes to live in our monad then this is the simplest case that there is no possible concrete description, without using any quantification.
r/haskell will remain read-only by Taylor Fausak
Until further notice, r/haskell will be read-only. You can still comment, but you cannot post.
Writing prettier Haskell with Unicode Syntax and Vim by Rodrigo Mesquita
A short write-up on combining digraphs, a feature built-in to vim, and Haskell’s
UnicodeSyntaxextension, to easily write beautiful Haskell programs with unicode symbols.
Trying to hire a Haskell developer? You should advertise with us!
Episode 29: ZuriHac by The Haskell Interlude
Joachim Breitner went to ZuriHac 2023 in order to bring the spirit of the biggest Haskell community event to you.
Haskell Foundation DevOps Weekly Log, 2023-06-28 by Bryan Richter
After coming back from a trip to see the solstice midnight sun, I continued the rewrite of spuriobot (in progress).
The Haskell Unfolder Episode 6 by Andres Löh
A function with a
Show aconstraint wants evidence that type
Showinstance. But what if we want to return such evidence from a function?
In this video series, we implement a simple static blog generator in Haskell, converting documents written in a custom markup language to HTML.
Show & tell
base16 version 1.0 by Emily Pillmore
This step in the library follows an RFC announced last year regarding a shift in the api for the base encoding libraries that would unlock several important optimizations and safety principles for them.
HLS version 22.214.171.124 by Julian Ospald
This is mainly a bindist release.
macaroni.nix by Armando Ramirez
I’d like to properly announce the tooling I’ve been using to cross-compile my Haskell games 3 from Linux to Windows.