Hacker News new | ask | show | jobs
by ChrisRackauckas 1392 days ago
The type system does tell you if this is used. `::OffsetArray`.
1 comments

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.