Naming Pin/Anchor/Move

[nikomatsakis]

@tmandry

Think of taking a thumbtack out of a cork board so you can tweak how a flyer looks. For Unpin types, this unpinning is directly supported by the type; you can do this implicitly. You can even swap out the object with another before you put the pin back. For other types, you must be much more careful.

I like this line of thinking, though I don't yet see the name that brings out this intuition. Still, a helpful metaphor to remember.

UPDATE: I guess Unpin is indeed compatible with it. I see your point now -- it's unpinned, just unpinned temporarily (it's not that the pin was canceled, just lifted).