Issue 377 2023-07-20
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.
Compiling to Intrinsically Typed Combinators by Brent Yorgey
How to compile a functional language via combinators (and evaluate via the Haskell runtime) while keeping the entire process type-indexed, with a bibliography and lots of references for further reading.
Now that I have returned from the workshop, I’ll use this blog post to recall my experiences and reflect on how the workshop went.
Haskell Foundation DevOps Yearly Log - July 2023 by Bryan Richter
Hello, and welcome to the first Haskell Foundation DevOps yearly log, where I document my work to shape the Haskell of the future.
Trying to hire a Haskell developer? You should advertise with us!
Episode 147: Gabriella Gonzalez discusses the intersection of algebra and programming by Elucidations Podcast
In this episode, Matt talks to Gabriella Gonzalez about how basic concepts from the branch of math known as abstract algebra can help us simplify our computer programs and organize our thoughts.
Episode 30: Bartosz Milewski by The Haskell Interlude
Bartosz shares his thoughts on the “fringe topics” in programming, from C++ templates to category theory in Haskell. How he considers monads to be like fingers sticking out of the water. And he’ll talk a little bit about his upcoming book and his thoughts on linear types.
IOG GHC Update #14 by IOG
Biweekly update from the GHC DevX team at IOG.
Quotient Haskell: Lightweight Quotient Types for All by Heneli Kailahi
A key difficulty to wider adoption of quotient types lies in the significant burden of proof-obligations that arises from their use. In this article, we address this issue by introducing a class of quotient types for which the proof-obligations are decidable by an SMT solver.
Your Moderators by David Christiansen
After deliberation and discussion, we’re pleased to announce that the new moderation team for this subreddit.
Show & tell
fernery by Joshua O’Sullivan
A CLI tool for generating images of ferns and other Iterated Function Systems.
ghcup version 0.1.19.5 release candidate by Julian Ospald
We have been working to get GHCup up to speed wrt cross compilers and GHC JS backend. This is still experimental, which is why it’s a pre-release, so we can gather some user experience reports.
Haskelite by Pedro Baltazar Vasconcelos
This project is a single-step interpreter for a small subset of the Haskell language including integers, booleans, lists, tuples and recursive definitions.
haskell-jobs-statistics by Niklas Hambüchen
This repo collects analyses of the Haskell jobs market. Summary: The Haskell job market has been growing steadily since 2008.
vim-word-indent by Max
This script allows to indent and align text with the beginning of the words of the previous (lines) using standard tab and indent commands.