@planet-haskell
Publisher
57
Posts
In my last post, I compared Kabbalah to Haskell. It's only fitting that my next post compares Kabbalah to another topic I blog about frequently: economics. Heads up in advance that this post will be very revealing about my political/economic compass.
From the highly eclectic blog of Mark Dominus
How Topiary can now format embedded languages in OCamllex and Markdown files, and how the injection system works under the hood.
I always say, inside every Haskeller there are two wolves, living on opposite ends of the Haskell Fancy Code Spectrum. Are you going to write “simple Haskell”, using basic GHC 2010 tools and writing universal Haskell that every introductory course offers, trying to keep the code as immediately un...
Type inference algorithm for biased record concatenation
I've spent about 100 hours of work over the past month to make sure git-annex can build without dependencies that contain LLM generated code. At least so far.
I am a Distinguished Reviewer of GPCE 2026 , colocated with ECOOP in Brussels. The award went to two out of a program committee of 33, putti...
Figure: leftFilledSun6 Update June 2026 This blog is about drawing finite regions of the infinite non-periodic tessellations of Roger Penrose’s kite and dart tiles. It was first written befor…
From the highly eclectic blog of Mark Dominus
So, evidently I failed to fulfill my ambition to blog regularly about the contents of my planned book on Patterns in Functional Programming. But I have been making progress. I had the privilege of …
From the highly eclectic blog of Mark Dominus
Introduction (Updated June 2026 for PenroseKiteDart version 1.10) PenroseKiteDart is a Haskell package with tools to experiment with finite tilings of Penrose’s Kites and Darts. It uses the H…
tl;dr: This is a fully commentated, from-scratch proof of the Fundamental Theorem of Arithmetic in Agda, intended for those who already know a bit of Agda but might benefit from reading and working through a larger example. See the Introduction and the Table of Contents below for more details.
For the past year, I’ve been learning Kabbalah for the first time in my life. It has been a fascinating journey. I haven’t really shared much about it publicly, and I’m not sure whether I’m going to continue discussing it on this blog or anywhere else.
Not a crank project! Spotted via Robin Sloan .
Brought to you by Believe in Scotland . You can sign the petition here . Tell your elected representatives and the Prime Minister that b...
From the highly eclectic blog of Mark Dominus
Gentle tour of type inference for records
Read about the latest Haskell development and maintenance activity from Well-Typed in this report on work funded by Haskell Ecosystem Support Packages.
From the highly eclectic blog of Mark Dominus
From the highly eclectic blog of Mark Dominus
A guide for doing static builds for Haskell projects with Nix.
Here is how you can implement sheaves in Haskell
A self-contained example showcasing formal verification using Liquid Haskell
By Jens Petersen, a month ago
Announcement post for the override-utils Nix package
After retiring last July, the University Senate have approved my emeritus status. I'm grateful to Julian Bradfield for his work drafting the...
Thomas Piketty is at it again. He and his colleagues at the World Inequality Lab have produced a report outlining, with quantitative modelli...
TL;DR Build your Haskell projects 10-15% faster with this one simple trick! (Spoiler: the simple trick is to wait for the next major cabal-install release.)
Today the 17 October 2019 I discussed a very remarkable fixed point theorem discovered by the Ukrainian mathematician Oleksandr Micholayovych Sharkovsky. We recall that a periodic point of period $…
Freecoding improves broader programming proficiency
redoubtful is a work-in-progress agent sandbox for Linux, based on bwrap and pasta, and written in Rust. It supports network proxying and modular profiles. It constructs a
Experimenting with different FIM edit-completion models, and trying to swap Qwen3.6 from PSM to SPM order. Conclusion: Not there yet, but a few glimmers of interesting things to try.
About three months ago, I bought the Onyx BOOX 25.3” Mira Pro Color, an e-ink monitor for desktop use. I’ve used it as my primary monitor since, and I’ve had a lot of questions about it. This is my experience report, from the perspective of a working, still mostly typing, programmer.
Set up Qwen3.6 35B A3B as an old-style edit-completion model using llama-server and Zed.
Time to get back to the basics?
One neat thing about Bombadil’s specification language is that it’s plain TypeScript, with access to external NPM packages. I’ve written a specification that spell-checks my website — what you’re reading now — and I want to share how that turned out.
Exception annotations were introduced in GHC 9.10, and can be an invaluable tool for debugging thorny problems. The initial implementation had some important limitations that made them less useful in practice than one might hope, but fortunately the situation has since been much improved. In this...
Posted on 2026-05-07 by Oleg Grenrus engineering
Type inference challenges for real-world JSON
Making flymake use Evil's jump list.
A comment on my post on moving to eglot
Two comments on my earlier posts on handling DB secrets in Emacs.
Last week at Bug Bash 2026, I had a bunch of interesting discussions about testing non-web interfaces with Bombadil, our new property-based testing framework for user interfaces. One direction that I already wanted to explore is terminal user interfaces (TUIs), and the hallway discussions gave me...
Posted on April 28, 2026
Introduction I want to return to something I've mentioned a couple of times in the past - the fact that applying certain type constructo...
Google have stopped supporting the Chart API so all of the mathematics notation below is missing. There is a PDF version of this article at...
Introduction TL;DR The behaviour of a certain kind of delay component has a formal similarity to Löb's theorem which gives a way to embed...
Introduction Google have stopped supporting the Chart API so all of the mathematics notation below is missing. There is a PDF version of ...
Introduction A popular question in mathematics is this: given a function \(f\) , what is its "square root" \(g\) in the sense that \(g(g(x...
When the code's in the crib, ma...
Last year Ethan Heilman wrote about a simple game he calls Terminal Maneuvers. This game simulates a missile attacking an interstellar ship. The ship has a laser defence system. One player controls the missile, and the other player controls the laser. If the missile hits the ship, Missile wins. I...
Learn how to minimize risks when having third-party dependencies.
The GHC developers are very pleased to announce the release of GHC 9.12.4. Binary distributions, source distributions, and documentation are available at downloads.haskell.org and via GHCup.
With heartfelt thanks to the many people who have already tried hs-bindgen and given us feedback, we have steadily been working towards the first official release (see Contributors for the full list). In case you missed the announcement of the first alpha, hs-bindgen is a tool for automatic const...
Athena Loses a Bet Athena and Ares argue over human nature, and agree to test three great minds of the age. First, they approach Aristotle in the Lyceum and propose a bargain. “If you ask it of us …
Read about the latest Haskell development and maintenance activity from Well-Typed in this report on work funded by Haskell Ecosystem Support Packages.
