Issue 356 2023-02-23
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.
I have been learning and playing with Haskell on-and-off for a couple of years now. However, I was still not very confident that I could write a real-world application in it.
Interface Files with Core Definitions by Matthew Pickering
In this post, I will explain a new feature which allows GHC to store the Core definitions of entire modules in interface files.
Monad Transformer Compatibility by Felix Springer
A monad transformer stack will provide access to many monad type classes. But you have to be careful, which transformers can be stacked.
Optimizing Haskell Code for Runtime Verification by Constantine Ter-Matevosian & Sergey Gulin
The collaboration involved work on making optimizations to K, a rewrite-based executable semantic framework in which programming languages, type systems, and formal analysis tools can be defined with the help of configurations and rewrite rules.
We have constructed the category of restricted Haskell types. There is nothing particularly useful in this construction yet. We need additional structure and we add it post by post.
Squeezing a Sokoban game into 10 lines of code by Cole Kurashige
Although code golfing is an ultimately frivilous endeavor, I had a lot of fun trying to fit as much as I could into my game and I’m pleased with how it turned out.
Understanding horizon Haskell (part 1) by Dan Firth
This is the first in a series of blog posts on horizon haskell. In this first post, we’re going to explain what Horizon is, what problem it solves, and how to get set up using one of the open source package sets.
Trying to hire a Haskell developer? You should advertise with us!
Haskell: Day 1/∞ by Andrew Quinn
I want to become a Haskell developer.
Haskell Foundation DevOps Weekly Log, 2023-02-22 by Bryan Richter
Haskell “Not as Scary as You Think” by Happy Path Programming
We learn the motivations behind Haskell and why it is the pinnacle of Functional Programming from Kris Jenkins, a Developer Advocate at Confluent.
Hot swapping state machines by Stevan Andjelkovic
An experiment in implementing remote hot code swapping, or dynamic code upgrade, for state machines.
Pushing our Container to AWS ECR by Monday Morning Haskell
In this article I’m going to be as explicit as possible, and include a video at the end so you can follow along.
Show & tell
marching-cubes by Stéphane Laurent
Pure Haskell implementation of the marching cubes algorithm.
weierstrass-functions by Stéphane Laurent
Evaluation of Weierstrass elliptic functions and some related functions.