Post #4248953

@slava@mathstodon.xyz @joe@f.duriansoftware.com Yeah, I was going to say that maybe this is just God encouraging you to use integer indices rather than pointers. You could also use data structures whose interface forbids you from iterating over the contents in a manner that exposes the underlying address ordering. However, I’m not aware of a type system that would fundamentally allow having pointers but prohibiting their bits from leaking.