Check out the pre-print of our latest work, accepted at ICPC'26:
"The Way of Types: A Report on Developer Experience with Type-Driven Development" by me, @azaidman, and @jesper
https://sarajuhosova.com/assets/files/2026-icpc.pdf
To determine how current practitioners experience the use of type-driven development (TyDD) and what inhibits its adoption by a wider range of developers, we conducted a survey with 130 participants from various backgrounds, asking them to describe their experience with current TyDD tools.
