Nope I meant category theory > Maybe you meant type theory? But that also has no... | Hacker News

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

		ants_everywhere on Aug 16, 2024 \| parent \| context \| favorite \| on: Good programmers worry about data structures and t... Nope I meant category theory > Maybe you meant type theory? But that also has no relation. Hmm? Category theory and type theory have a lot of close ties. For example see the Nlab page on their connections https://ncatlab.org/nlab/show/relation+between+type+theory+a...

robertlagrant on Aug 27, 2024 [–]

OP is saying neither of those relate to the problem. Not that they don't relate to each other.

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