in Code
Justin Le
home
archives
cv
Entries
History
Tags
Categories
Series
Recent
Faking ADTs and GADTs in Languages That Shouldn't Have Them
Sum Types and Subtypes and Unions
Advent of Code 2024: Haskell Solution Reflections for all 25 Days
Functors to Monads: A Story of Shapes
My Physics and Math Heritage
back
#dhall
Tuesday April 1, 2025
—
Comments
Faking ADTs and GADTs in Languages That Shouldn't Have Them
in
#functional programming
,
#haskell
,
#purescript
,
#java
,
@Haskell