Not any C programmer could give an explicit, formal definition of "duality" and ... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		tree_of_item on July 30, 2012 \| parent \| context \| favorite \| on: Does category theory make you a better programmer? 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 on July 30, 2012 [–]

Besides, the duality is between structs and tagged unions, rather than C unions.

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact