Isn’t this language specific? For instance in C doesn’t true map to 1, thus true... | Hacker News

Hacker News new | past | comments | ask | show | jobs | submit

login

edgyquant on Aug 16, 2023 | parent | context | favorite | on: How should I read type system notation?

Isn’t this language specific? For instance in C doesn’t true map to 1, thus true+1=2

Tainnor on Aug 16, 2023 [–]

The runtime values don't matter to type theory, only the types of expressions.

Join us for AI Startup School this June 16-17 in San Francisco!
Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact