in Code
Justin Le
home
archives
cv
Entries
History
Tags
Categories
Series
Recent
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
The Baby Paradox in Haskell
back
+Extreme Haskell: Typed Expression EDSLs
Tuesday July 7, 2026
—
Comments
Extreme Haskell: Typed Expression EDSLs (Part 1)
in
#functional programming
,
#agentic
,
#dependent types
,
#haskell
,
#singletons
,
#types
,
@Haskell