ponylang / pony-tutorial

:horse: Tutorial for the Pony programming language
http://tutorial.ponylang.io
BSD 2-Clause "Simplified" License
310 stars 111 forks source link

Combining capabilities: Rework the "see its own fields" wording of viewpoint adaptation. #443

Closed jasoncarr0 closed 4 years ago

jasoncarr0 commented 4 years ago

Explanation below:

While it is true that access to receivers and fields will follow this, in that this is just a normal variable, I feel this outlook could be confusing when understood with receiver recovery, and changing of capabilities.

A reader might conclude or speculate that a variable with type iso, can only see its own contents with those viewpoints, but the notion of an object accessing itself is most closely aligned with calling a function (or behavior). Since this will almost certainly be fun ref and fun box, the reader may become confused by reading it as though it would apply to those functions on iso variables.

I'm not implying that it would be sensible to conclude that, but that a reader may get confused that that would seem to be implied.

SeanTAllen commented 4 years ago

@jemc can you review this one?