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