in Code
Justin Le
home
archives
cv
Entries
History
Tags
Categories
Series
Recent
"Five-Point Haskell": Total Depravity (and Defensive Typing)
Advent of Code 2025: Haskell Solution Reflections for all 12 Days
The Baby Paradox in Haskell
Faking ADTs and GADTs in Languages That Shouldn't Have Them
Sum Types and Subtypes and Unions
back
#category theory
Monday January 13, 2020
—
Comments
Adjunctions in the wild: foldl
in
#haskell
,
@Haskell
,
@Math