All Questions
Tagged with static-typing static-analysis
1
question
11
votes
3
answers
316
views
How can a language statically ensure a required index exists in a list?
Suppose a language has a conventional list data structure that contains some dynamic number of values indexed sequentially. Some operations to access a value from the list require that a certain index ...