News for hackers. Stuff that matters.

A comment on Rust is Software's Salvation. Parent comment

Re:Rust is Software's Salvation by berkut on Thursday December 29, 2016 @06:45PM (#13281262)
How can checks be done if the size is dynamic based on run-time data?
[ Parent | on HN ]
Re:Rust is Software's Salvation by prodigal_erik on Friday December 30, 2016 @05:36PM (#13288091)
"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.
[ Parent | on HN ]
Re:Rust is Software's Salvation by pjmlp on Monday January 02, 2017 @05:35AM (#13300362)
The Pascal family are such languages.
[ Parent | on HN ]