2 ms·
This is backwards: types (as in Type Theory) were invented because sets didn't quite work. So it's not accidental that it turns out types are quite like sets.
by dboreham 5y ago
This is backwards: types (as in Type Theory) were invented because sets didn't quite work. So it's not accidental that it turns out types are quite like sets.