By the way, one question with Polonius has long been what to call regions. In discussions with @Aaron Weiss we settled on a few possible names. These all come from the intuition that a region in Polonius is equivalent to a set of loans -- i.e., it describes the possible places that the reference could have originated. That suggests various names like:
This all connects nicely to the form of explanation that says
fn foo<'a>(data: &'a T) -> &'a U means that the return value is "borrowed from
I'm torn in that provenance feels like the "standard" term but also one that is kind of hard to spell and long :) I sort of like origin or source but I'm not sure how to choose between them.
I'm also torn, being used to regions and provenance
it's sometimes nice to have a "semi-unusual" term
I'm trying out RefProv in my thesis
The ligatures get really weird in Baskerville
Already mentioned to Niko, but I had a similar discussion about provenance and origin with my advisor (Amal Ahmed) who was insistent at least for Oxide that we should use provenance because it feels more "precise."
I kind of like it too, it reminds me of archives in a good way
Hm, actually, if we truly desire a short name, what about just calling them provs? That's what I've been using in my OCaml implementation of Oxide.
prov is ok for code or something -- though i'd probably lean towards
provenance -- but for speaking out loud... not so much :)
trace which sounded interesting (I think Frank uses it in timely/DD if I remember correctly)