Stream: t-compiler

Topic: renaming confusing things


eddyb (Feb 17 2019 at 06:48, on Zulip):

we could rename Kind to Term or Value

eddyb (Feb 17 2019 at 06:48, on Zulip):

(deleted)

eddyb (Feb 17 2019 at 06:48, on Zulip):

downsides: Term may be a bit obscure, and Value is probably more confusing than Kind tbh

eddyb (Feb 17 2019 at 06:49, on Zulip):

we could even flatten them so lifetime parameters and placeholders (assuming NLL handles everything) are just type parameters (but we wouldn't call them "TyParam", just Param) and placeholders

eddyb (Feb 17 2019 at 06:50, on Zulip):

Substs would just be Args I guess?

eddyb (Feb 17 2019 at 06:52, on Zulip):

@Ariel Ben-Yehuda's "small Substs" optimization could even work in more cases, e.g. tuples

varkor (Feb 17 2019 at 23:18, on Zulip):

Kind seems less confusing than those two IMO

eddyb (Feb 18 2019 at 03:46, on Zulip):

we had this discussion before, didn't we?

varkor (Feb 18 2019 at 13:35, on Zulip):

there's probably a C-cleanup issue out there somewhere :P

nikomatsakis (Feb 19 2019 at 18:12, on Zulip):

I don't really know of a "good" term -- Kind feels pretty wrong in the sense that it's only barely a noun to my ears. I mean, it is a noun, but it's not really something I think of as a "thing", more like a category of a thing

nikomatsakis (Feb 19 2019 at 18:12, on Zulip):

but for now I'm sort of inclined to just leaveit

nikomatsakis (Feb 19 2019 at 18:12, on Zulip):

until we come up with a clearly better term (no pun intended)

Last update: Nov 20 2019 at 02:00UTC