June 22, 2024
Enhanced auth with refresh token rotation in Servant A follow-up of the how-to guide using generalised auth in Servant with refresh token rotation in a custom JWT authentication scheme.
January 15, 2024
Generalised factories for extensibility An exploration of extensibility with object algebras in TypeScript and its relation to visitors and typed tagless final interpreters in Haskell.
November 23, 2023
Scott-encoding ADTs into objects Case analysis through Scott encodings of algebraic data types in an object oriented programming language.
October 28, 2023
Generalised auth with JWT in Servant How-to guide for a customised JWT authentication scheme using generalised auth in Servant.
October 13, 2023
OOP classes as data constructors Comparison of case analysis techniques in a functional language and an object-oriented one: pattern-matching and subtyping.