Articles
Writing a programming language
(
June 2024
)
The debatably Free monad
(
July 2023
)
Categorical equality
(
June 2023
)
What is a Category?
(
June 2023
)
A "quick" introduction to Tagless Final
(
May 2023
)
Working with partial values
(
May 2023
)
The Chicken McNugget problem
(
November 2022
)
Things that are things, but not other things
(
November 2022
)
Function reuse is just wishful thinking
(
October 2022
)
An introduction to recursion schemes
(
May 2021
)
Type classes from the ground up
(
May 2020
)
Optics from the ground up
(
February 2020
)