Stream: t-compiler/wg-polonius

Topic: what to call regions


nikomatsakis (Jun 06 2019 at 12:17, on Zulip):

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 data".

nikomatsakis (Jun 06 2019 at 12:18, on Zulip):

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.

lqd (Jun 06 2019 at 12:32, on Zulip):

I'm also torn, being used to regions and provenance

nikomatsakis (Jun 06 2019 at 12:37, on Zulip):

it's sometimes nice to have a "semi-unusual" term

lqd (Jun 06 2019 at 12:47, on Zulip):

provegion

Albin Stjerna (Jun 06 2019 at 12:47, on Zulip):

I'm trying out RefProv in my thesis

Albin Stjerna (Jun 06 2019 at 12:49, on Zulip):

The ligatures get really weird in Baskerville

Aaron Weiss (Jun 06 2019 at 15:39, on Zulip):

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."

Albin Stjerna (Jun 06 2019 at 18:24, on Zulip):

I kind of like it too, it reminds me of archives in a good way

Aaron Weiss (Jun 06 2019 at 18:49, on Zulip):

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.

nikomatsakis (Jun 06 2019 at 22:18, on Zulip):

I think prov is ok for code or something -- though i'd probably lean towards provenance -- but for speaking out loud... not so much :)

lqd (Jul 03 2019 at 11:32, on Zulip):

there's also trace which sounded interesting (I think Frank uses it in timely/DD if I remember correctly)

Last update: Nov 15 2019 at 20:55UTC