Stream: t-compiler/wg-rfc-2229

Topic: compiler triage meeting presentation


blitzerr (Mar 07 2019 at 10:05, on Zulip):

@nikomatsakis
I prepared a short paper doc for the presentation at the triage meeting today. Feel free to edit if you want.

blitzerr (Mar 07 2019 at 10:09, on Zulip):

Also please let me know if something more is needed. I guess you were suggesting we add it to the NOTES.md page in the wg folder ?

nikomatsakis (Mar 07 2019 at 16:06, on Zulip):

Yeah, I was imagining that the NOTES.md is basically a way for people to read high-level updates on the working group progress. I think highlighting that we have a roadmap (and pointing at it) and giving some sense of its overall shape + big questions is fine

nikomatsakis (Mar 07 2019 at 16:06, on Zulip):

basically what you did

nikomatsakis (Mar 07 2019 at 16:06, on Zulip):

we should talk about whether we want to try and find another person or two to get involved, as an aside

blitzerr (Mar 07 2019 at 16:09, on Zulip):

@nikomatsakis makes sense

blitzerr (Mar 07 2019 at 16:09, on Zulip):

It would be good to find someone but I am also happy to do it myself.

csmoe (Mar 07 2019 at 16:10, on Zulip):

@blitzerr I'd like

blitzerr (Mar 07 2019 at 16:16, on Zulip):

Let me know how you would like to start.

csmoe (Mar 07 2019 at 16:24, on Zulip):

@blitzerr If possible, a substep would be better for me before more familiar with closure stuff.

blitzerr (Mar 07 2019 at 16:27, on Zulip):

If you look at the detailed roadmap, then

[ ] Make a list of code that uses `with_freevars`
- For each user, make a plan for how it will be altered
blitzerr (Mar 07 2019 at 16:28, on Zulip):

That might be a good place to start as you can focus on just one caller to begin with. It is independent enough that there should not be much merge conflict atm.

csmoe (Mar 07 2019 at 16:30, on Zulip):

okay, sounds good

blitzerr (Mar 07 2019 at 16:30, on Zulip):

Also I am working off this branch: https://github.com/blitzerr/rust/tree/upvar-tuple

blitzerr (Mar 07 2019 at 16:30, on Zulip):

So the code I am writing is in there. Just FYI

ange (Mar 09 2019 at 15:36, on Zulip):

It would be good to find someone but I am also happy to do it myself.

@blitzerr I watched some of the video sessions at 2x and the implementation for this RFC looks somewhat interesting. I gotta ask though, is this something you're working on as a master's thesis or something? I might have some time to try my hand at doing something less trivial in rustc this month or the next, but not sure if there's space for more people in this WG?

blitzerr (Mar 09 2019 at 16:23, on Zulip):

Thanks @ange for your interest.
And sure any questions you have, feel free to ask.

I gotta ask though, is this something you're working on as a master's thesis or something?

This is not my master's thesis. I am new to the community and contribute to rustc on a voluntary basis.

I might have some time to try my hand at doing something less trivial in rustc this month or the next, but not sure if there's space for more people in this WG?

There is definitely space for you if you would like to contribute to this WG. Let me know if this project looks good to you or if you would like something more meaty. Nevertheless, we would love to have you and can surely find something that interests you.

blitzerr (Mar 09 2019 at 16:26, on Zulip):

@ange This is the roadmap for this wg.

ange (Mar 09 2019 at 17:25, on Zulip):

@blitzerr ah, great! it's much easier to collaborate when nobody has any formal requirements they have to meet :-)

ange (Mar 09 2019 at 17:26, on Zulip):

If I I find something I could contribute to, I'll mention something here

centril (Mar 09 2019 at 18:39, on Zulip):

@ange perhaps you'd be interested in https://github.com/rust-lang/rust/issues/47809 ?

ange (Mar 09 2019 at 18:55, on Zulip):

@centril TBH I asked about RFC2229 because I would like to learn more about how rustc implements generics (something I've ran into e.g. here). I'll take a look at 2091 too though, thanks!

blitzerr (Mar 09 2019 at 19:01, on Zulip):

@ange For generics and trait solving you can also look/ask at wg-traits. We would love for you to work on something that really excites you. Let us know if you have any questions. Rustc is very active and fast moving. I am sure we should be able to find something that you really interests you.

ange (Mar 09 2019 at 19:07, on Zulip):

@blitzerr :-) There's no end to the things I find exciting, but I'd rather bite on something I can reasonably chew on in this time frame

blitzerr (Mar 09 2019 at 19:10, on Zulip):

@ange absolutely :smiley: One thing I would say though that rfc-2229 is not generics at its core. Its mainly touches on closure implementation.

ange (Mar 09 2019 at 19:11, on Zulip):

@blitzerr understood. but it also touches on borrowing and mir, which is a plus in my book :slight_smile:

blitzerr (Mar 09 2019 at 19:12, on Zulip):

@ange You can't really escape borrowing in rust, can you ? :smiley:

ange (Mar 09 2019 at 19:13, on Zulip):

in the two issues I've submitted PRs for so far, I have! :wink:

blitzerr (Mar 09 2019 at 19:16, on Zulip):

@ange as far as mir goes. It will be towards the end of step 3 as you can see in the roadmap doc. It will be a while before we get there. (Next month is more likely :thinking: )

blitzerr (Mar 09 2019 at 19:17, on Zulip):

in the two issues I've submitted PRs for so far, I have! :wink:

You have already done more than me :smiley:

ange (Mar 09 2019 at 19:22, on Zulip):

(Next month is more likely :thinking: )

Let's see. TBH, that sounds a bit optimistic, as software projects go :-)

blitzerr (Mar 09 2019 at 19:23, on Zulip):

:rolling_on_the_floor_laughing:

blitzerr (Mar 09 2019 at 19:23, on Zulip):

Can't refute that

ange (Mar 09 2019 at 19:31, on Zulip):

through coding you can :-)

Last update: Nov 17 2019 at 06:55UTC