How can checks be done if the size is dynamic based on run-time data? | Hacker News

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

login

berkut on Dec 29, 2016 | parent | context | favorite | on: Rust is Software's Salvation

How can checks be done if the size is dynamic based on run-time data?

prodigal_erik on Dec 30, 2016 [–]

"Integer between 0 and n-1 inclusive" is the type of valid indices for an n element array. The trouble is most languages don't have type systems that allow expressing that.

pjmlp on Jan 2, 2017 | [–]

The Pascal family are such languages.

Consider applying for YC's Spring batch! Applications are open till Feb 11.
Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact