The type system does tell you if this is used. `::OffsetArray`. | Hacker News

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

		ChrisRackauckas on Aug 25, 2022 \| parent \| context \| favorite \| on: Why do arrays start at 0? The type system does tell you if this is used. `::OffsetArray`.

btilly on Aug 25, 2022 [–]

Yes, but did the programmer tell the type system that they are expecting an OffsetArray, they have tested it, and it will work correctly?

The existence of a mechanism does not guarantee its correct use. As that link demonstrates.

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact