Read online In which I showcase one concrete example where dependent types — and more precisely, Generalized Algebraic Datatypes (GADTs) — allow me to turn the handling of different but similar compiler targets into a breeze of fresh air. Introduction Dependent types and assimilated type-level features get a bad rep. They are often misrepresented presented as a futile toy for “galaxy-brain…
Read online This years’ Advent of Code has loads of 2D grids, and makes you traverse them all to find paths of various kinds. At some point I had to implement Dijkstra’s algorithm , in Haskell. In trying to make my implementation reusable for the following days, I realized that Dijkstra’s algorithm is actually way more general than I remembered (or was taught)! In short, weights don’t have to be…
Read online About two years ago, I started working on a little embedded domain-specific language (EDSL) called achille , using Haskell. Because this EDSL has its own notion of morphisms Recipe m a b from a to b , I was looking for a way to let users write such morphisms using regular Haskell functions and the syntax for lambda abstraction, \x -> ... . As recently as 5 days ago, I was still…
Read online Today I took the decision to switch mail providers, moving from Proton Mail to Migadu . I’ve been a loyal paying user of Proton Mail for about 5 years now, and during those years I’ve been fairly happy with the service they provide. However, looking back on it, I don’t think I’m their target audience, and I’ve come to realize my mailing life would be much better without them. I first…
Read online I stumbled upon Matt Webb’s About Feeds and realized I had been missing out on the power of web syndication for quite some time. Turns out most sites still make their feed available in one way or another. This allows anyone to subscribe to the content they are interested in without having to rely on a centralized platform. No more checking out one’s twitter feed to see if they…
Read online This is the first entry of this blog. I’ve been meaning to make one for the longest time but never got around to actually write stuff down. After bike-shedding endlessly about which static-site generator would be best for the task at end, and trying to build my own in Haskell with no specification in mind, I finally settled on a minimal setup to get this out of the way. Yes, it is very…