DEV Community

Discussion on: Pragmatic types: what are types?

Collapse
 
stereobooster profile image
stereobooster

The issue here is that sets have formal definition and if you say that types are sets you claim that types follow all formal rules for sets. I am not sure that this is the case, even that "simple" types are very similar to sets. I will need to read more to explain exact difference