in Code
Justin Le
home
archives
cv
Entries
History
Tags
Categories
Series
Recent
"Five-Point Haskell": Unconditional Election (via Parametricity)
LLMs Will Cheese Your Types: Fighting Back in Haskell
Extreme Haskell: Typed Expression EDSLs (Part 1)
"Five-Point Haskell": Total Depravity (and Defensive Typing)
Advent of Code 2025: Haskell Solution Reflections for all 12 Days
back
#lenses
Monday June 11, 2018
—
Comments
Lenses embody Products, Prisms embody Sums
in
#profunctors
,
@Haskell