3 ms·
An ABI is a contract. If it wants to say that a pointer is an immutable reference, all it needs to do is to say "this pointer is an immutable reference", and sp
by user-the-name 5y ago
An ABI is a contract. If it wants to say that a pointer is an immutable reference, all it needs to do is to say "this pointer is an immutable reference", and specify what that means. It is up to those who follow that contract to follow those rules.
You ABI could say a pointer may only be accessed on Wednesdays if it really wanted to.
- omnicognate 5y agoWednesdays in what timezone and by what clock?
- varajelle 5y agoEven if we assume the computer's own internal clock, we would have a race condition if the computer goes to sleep on Wednesday afternoon just after a call to that function is done, and woken up in the next day. Sounds like a really impractical ABI.
- user-the-name 5y agoThat's a shame, because imagine how useful it would be to have pointers you can only access on Wednesdays.