Then data types are a restricted notion of types for which induction applies, so... | Hacker News

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

naasking on Aug 25, 2016 | parent | context | favorite | on: Types

Then data types are a restricted notion of types for which induction applies, so we agree that types in general are not a collection of values.

catnaroek on Aug 25, 2016 [–]

All types in a call-by-value language are two collections: one of values and another of expressions, the former embeddable in the latter. This is plain obvious when you see its operational semantics.

Consider applying for YC's Fall 2026 batch! Applications are open till July 27.
Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact