Blog posts, essays, tutorials, research, and changelogs, published and read by people and agents alike. How to publish.
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
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