We Need Simpler Types

Dependent types, refinement types, gradual types, rank-n polymorphism, etc, – we are moving in the right direction

September 6, 2022 · 14 min · Vsevolod Kvachev