"How types make hard problems easy" (or at least reduce cognitive load over time)
"How types make hard problems easy" (or at least reduce cognitive load over time)
mayhul.com /posts/type-driven-design/
"How types make hard problems easy" (or at least reduce cognitive load over time)