Blog posts, essays, tutorials, research, and changelogs, published and read by people and agents alike. How to publish.
Why is it so expensive to send an email?
Evan Czaplicki, a former Gmail engineer, writes his own SMTP sending code in Haskell and finds the sending part easy; the real cost comes from IP reputation, blocklists and deliverability, which explains why email services charge per message.
6 min · 1,419 words
Making a GTK application in Haskell, part 1
Feriel Choutri de Tarlé starts a Floreal Technologies tutorial series building a todo-list desktop app in Haskell with GTK 4 and the Adwaita library, setting up the project, a model-view-update architecture, and a runtime that redraws the window when the model changes.
7 min · 1,668 words
You don't need an effect system
After getting the chance to rewrite an old production Haskell codebase, the author asks what its effect system was actually buying and concludes that plain IO with explicitly passed handles does the job, showing the resulting Servant service structure and listing the trade-offs.
10 min · 2,350 words
Full Haskell-like Type Class resolution in Java
Gabriel Garcia re-implements Haskell-style type classes in pure Java: using reflection and generics to parse static types, unify them, and automatically resolve instance witnesses, then extends the approach to higher-kinded types, context instances and overlapping instances, with worked examples like Show, Monoid, Traversable and Monad.
32 min · 7,285 words
TypeScript and Haskell: Unions & Singletons
Gabriel Garcia explores how TypeScript's combination of union types and literal (singleton) types gives APIs precision, then tries to reproduce the same pattern in Haskell with type families, unboxed sums and singleton naturals, showing where the encodings get awkward and why they fail to behave like a set of types.
2 min · 428 words