Stream: wg-traits

Topic: meeting 2019.06.24


nikomatsakis (Jun 24 2019 at 18:00, on Zulip):

Hey @WG-traits -- weekly meeting

nikomatsakis (Jun 24 2019 at 18:00, on Zulip):

Sorry I was last week. It was indeed Mozilla All Hands.

nikomatsakis (Jun 24 2019 at 18:07, on Zulip):

I haven't had much time to do much work prep work here, but I'm happy to chat and/or answer questions right now. One thing I'm thinking about is the fact that I am going to be on vacation from mid July - mid August.

nikomatsakis (Jun 24 2019 at 18:14, on Zulip):

So let's talk brass tacks. It's clear I've not had the time/energy to really help lead this WG over the last N months. =) I'm trying to make my plans/priorities the 2nd half of the year, and in particular to figure out where trait work fits in. It seems like we still desperately need progress in this area, as lazy norm / GATs are big blockers for a lot of other things. In addition, the current trait impl feels increasingly "risky" and complex to me.

Alexander Regueiro (Jun 24 2019 at 18:15, on Zulip):

Hey @WG-traits -- weekly meeting

Can't make it this week as usual...about to head out... but do check your PMs when you have a minute please. Been a while, and could desperately use your input on a couple of PRs. :-)

Alexander Regueiro (Jun 24 2019 at 18:15, on Zulip):

Have a good meeting

nikomatsakis (Jun 24 2019 at 18:16, on Zulip):

@Alexander Regueiro ok sorry

Alexander Regueiro (Jun 24 2019 at 18:16, on Zulip):

no prob

Alexander Regueiro (Jun 24 2019 at 18:16, on Zulip):

I know you've had good reasons. :-)

Alexander Regueiro (Jun 24 2019 at 18:16, on Zulip):

Bye for now.

nikomatsakis (Jun 24 2019 at 18:25, on Zulip):

OK -- well, not a lot of action here today and that's fine. As I wrote above, I'm trying to figure out our next steps. In the meantime, I'll try to spend some time reviewing things and so forth. @Sunjay Varma and I also just scheduled a meeting for next week to talk about specialization and overall query structure.

Sunjay Varma (Jun 24 2019 at 18:26, on Zulip):

Thanks! See you then :D

Last update: Nov 18 2019 at 00:40UTC