Indeed, there's a good reason why sums (unions) and products (records) are the m... | Hacker News

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

naasking on Aug 20, 2023 | parent | context | favorite | on: A Critique of the Cap'n Proto Schema Language (201...

Indeed, there's a good reason why sums (unions) and products (records) are the most primitive abstractions in various logics and mathematics.

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