That’s a good argument. I had not considered properties in those terms before, and have historically been skeptical of them in many languages.

I’m partly convinced now! I still worry a bit about property authors who don’t follow the “cheap, non-side-effectful, externally cacheable” rules, though. Perhaps there are linters in property-ful languages which would help with that.