Not sure if it's what you are looking for, but contracts seem to be a fine grained version of control beyond read and write. For example as available in Racket

Not sure if it's what you are looking for, but contracts seem to be a fine grained version of control beyond read and write. For example as available in Racket: https://docs.racket-lang.org/guide/contracts.html https://docs.racket-lang.org/guide/contracts.html Good luck.