Laboratory / Computing

Ownership and systems

Trace ownership through a sequence of moves and borrows. Mark the exact last use of each reference, then test whether a proposed mutation overlaps an active immutable borrow.

Change one thing
55
35
Trace ownership through a sequence of moves and borrows. Mark the exact last use of each reference, then test whether a proposed mutation overlaps an active immutable borrow. Current reading: The trace has 4 states. The highlighted point tests whether mutation overlaps an active borrow.own&mutownown
What changed

The trace has 4 states. The highlighted point tests whether mutation overlaps an active borrow.

Return to the route

Experiment after prediction.

Before changing a control, say which visible feature should move and which should remain invariant. That prediction is the useful part of the experiment; motion alone is not evidence.