4 ms·
Not any C programmer could give an explicit, formal definition of "duality" and show how it applies to structs and unions. So yes, you do need category theory f
by tree_of_item 14y ago
Not any C programmer could give an explicit, formal definition of "duality" and show how it applies to structs and unions. So yes, you do need category theory for that.
- DanWaterworth 14y agoBesides, the duality is between structs and tagged unions, rather than C unions.