Stream: t-compiler/wg-meta

Topic: ctfe working group compiler-team#201

nikomatsakis (Dec 12 2019 at 23:11, on Zulip):

well, even knowing to look at it is better than before :P

nikomatsakis (Dec 12 2019 at 23:12, on Zulip):

but, stepping back, I feel like there are some "big-ish" design questions (e.g., what does "unsafe" mean in the context of const, are we adopting the model that @RalfJ advocated for here) that to my mind are kind of unresolved

ecstatic-morse (Dec 12 2019 at 23:16, on Zulip):

I interpret my role as something like "shepherd for control-flow in consts", which is proceeding nicely I think. However, this particular project is mostly implementation focused.

ecstatic-morse (Dec 12 2019 at 23:17, on Zulip):

I think people with experience around CTFE would need to organize a bit more to tackle those big design problems. I don't think we have the requisite number of person-hours per week at the moment.

ecstatic-morse (Dec 12 2019 at 23:33, on Zulip):

@nikomatsakis Would a list of prospective future projects in CTFE-land serve as a good roadmap? I have a decent idea of where we could go next, and I'll talk to others to flesh that out. I'm imagining that the lang-team determine the priority of these while taking into account stakeholder availability (there are a few projects that would need a certain amount of RalfJ time to succeed :smile:).

nikomatsakis (Dec 19 2019 at 18:58, on Zulip):

@ecstatic-morse that seems like a very good start, yes

Last update: Sep 22 2020 at 01:00UTC