3 ms·

I’m not sure when they were ever distinct things? The history of types in mathematics and programming is incredibly interwoven. Also, it has been shown time an

I’m not sure when they were ever distinct things? The history of types in mathematics and programming is incredibly interwoven. Also, it has been shown time and time again that in an expressive enough type system in a programming context, types are not sets and cannot be modelled by them.

auggierose 5y ago
Of course types can be modelled by sets, just not in the straight forward way you might envision. After all, if you cannot model it in ZFC, how do you prove correctness of your type system?