Issue 352 2023-01-26
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.
All you need is higher kinded types by Las Safin
Haskellers (and even worse, dependent type brained people) are prone to making complicated types to maximise abstraction and correctness. However, you might be surprised to know that you (technically) need nothing more than ADTs, HKTs, and rank-N types to do almost all of the magic you need.
Everything you never wanted to know about Applicative laws and more by Alexandre Esteves
This post explores the pros/cons of each viewpoint and proves these sets of laws are all equivalent.
Fast polymorphic record access by Ömer Sinan Ağacan
I like anonymous records and row polymorphism, but until recently I didn’t know how to generate efficient code for polymorphic record access. In this blog post I will summarize the different compilations of polymorphic record accesses that I’m aware of.
In order to avoid having slow and flaky integration tests, the standard solution is to mock out all the dependencies of the software under test (SUT). This works, however it introduces a new problem: what if the mocks are incorrect (i.e. they encode the same false assumptions of the consumed API).
Linear constraints: the problem with O(1) freeze by Arnaud Spiwack
This blog post is me finally explaining this in more detail. In fact, this mutable-array-of-mutable-array issue was what caused the inception of the work on linear constraints.
This blog post intends to sum up the why and how of
hs-bindgen. If you’re looking for usage walkthroughs and code examples, check out project READMEs on GitHub!
Here is the final blog post about the parallel streaming evaluator we use at Channable, where we use Haskell with the Conduit library to produce both result values and parallel work units in a single stream.
Pygmentising Hakyll’s Syntax Highlighting by Tony Zorman
pygmentizeas an example, I will show you how you can swap out pandoc’s native syntax highlighting with pretty much any third party tool that can output HTML.
Writing a Haskell persistence layer using Generics and Reflection by Thomas Mahler
In this post I’ll describe how to write a minimalistic Haskell persistence layer (on top of HDBC). My approach will rely heavily on Generics (
Data.Typeable) and Reflection (
Trying to hire a Haskell developer? You should advertise with us!
10 Days Of Grad: Deep Learning From The First Principles by Bogdan Penkovsky
Day by day, here we demystify neural networks.
GHC+DH Weekly Update #5, 2023-01-25 by Vladislav Zavialov
Hi all, this is the fifth weekly update on the implementation of dependent types in GHC.
GHC Nightlies: How would you use them? by David Christiansen
As this comes closer to being a reality, I’d like to reach out a bit to the community to find out what uses of nightlies will bring the most value so that we can make sure that the final design supports as many peoples’ and companies’ needs as possible.
GHC WebAssembly Weekly Update, 2023-01-25 by Cheng Shao
Two bugs sniped in two days. The stars seem to have aligned in my favor this week.
Haskell Foundation DevOps Weekly Update, 2023-01-25 by Bryan Richter
Since the last update, I had many discussions about Mac notarization, some of which are still ongoing. There is a split opinion on how important it is to implement.
I wanted to share my experience with learning Haskell by following along to “Learn Haskell by building a blog generator”.
Pair Programming with ChatGPT & Haskell by Chris Smith
Here, I present the (lightly edited) story of using ChatGPT conversationally to solve a non-trivial problem in Haskell. It definitely gets some things wrong, and it’s still unclear whether co-developing this with ChatGPT made anything easier than it would have been otherwise.
Reflections on Advent of Code 2022 by Monday Morning Haskell
Now that I’ve had a couple weeks off from Advent of Code, I wanted to reflect a bit on some of the lessons I learned after my second year of doing all the puzzles. In this article I’ll list some of the things that worked really well for me in my preparation so that I could solve a lot of the problems quickly!
Show & tell
ebml by Tristan Cacqueray
Pure decoder for the Extensible Binary Meta Language (EBML) format.
ki version 22.214.171.124 by Mitchell Rosen
Some context: ki is a lightweight structured concurrency library.
quaalude by Chris Martin
Essentials is an minimal Prelude alternative containing only what is truly needed by the vast majority of modules.
Rel8 version 1.4.1 by Ollie Charles
We’ve just released Rel8 126.96.36.199. Rel8 is a Haskell library for interacting with PostgreSQL databases, built on top of the fantastic Opaleye library.
Weeder version 2.5 by Ollie Charles
Weeder is a utility to find unused declarations in Haskell projects. I’ve just released Weeder 2.5, which upgrades Weeder to work with GHC 9.4 (only)