Stream: wg-traits

Topic: meeting 2019-04-08


nikomatsakis (Apr 08 2019 at 17:53, on Zulip):

Hello! I'm back from vacation today, but I somehow wound up double booked.

nikomatsakis (Apr 08 2019 at 17:54, on Zulip):

So @WG-traits I won't be around at our usual time today (i.e., in 10 minutes)

nikomatsakis (Apr 08 2019 at 17:54, on Zulip):

But maybe we can leave some brief notes

nikomatsakis (Apr 08 2019 at 17:54, on Zulip):

Over vacation, I was working on "the chalk refactoring" and I made a lot of progress. The fact that I consider this vacation is perhaps something I should be discussing with a mental health professional, but never mind that.

nikomatsakis (Apr 08 2019 at 17:55, on Zulip):

I also found it was a more complex issue than I initially thought and I think it'd be great to go over some of what I found and what design we want

nikomatsakis (Apr 08 2019 at 17:55, on Zulip):

I've been talking a lot about trying to have a recurring "design zoom call" (recorded, of course) to go over this sort of thing -- maybe this is a good first candidate?

nikomatsakis (Apr 08 2019 at 17:56, on Zulip):

I think the major priority for rutsc-chalk integration remains kind of enumerating clearly the work to be done -- @tmandry / @Aaron Turon, were either of you able to make any progress on those builtin-bound items?

nikomatsakis (Apr 08 2019 at 17:56, on Zulip):

I made a list of other tasks before I left but didn't do a good job enumerating it

nikomatsakis (Apr 08 2019 at 17:56, on Zulip):

But that remains (I think) the key thing we need to do this week.

nikomatsakis (Apr 08 2019 at 17:56, on Zulip):

And I've been talking to @Alexander Regueiro about trying to make progress on object upcasting

nikomatsakis (Apr 08 2019 at 17:57, on Zulip):

I'm trying to decide just what is needed there -- it feels like there is at least some lang team involvement -- so we should discuss the overall procedure.

nikomatsakis (Apr 08 2019 at 17:57, on Zulip):

Anyway, maybe we can run the meeting a bit async? If people want to leave thoughts I'll try to read and catch up :)

tmandry (Apr 08 2019 at 17:59, on Zulip):

I wasn't able to start the work on chalk integration, most of my time has been wrapped up in figuring out the generator optimization stuff (@eddyb and I had to iterate on the design a bit)

tmandry (Apr 08 2019 at 18:00, on Zulip):

but I haven't forgotten, and may have time to look at it this week

Sunjay Varma (Apr 08 2019 at 18:04, on Zulip):

I was thinking of starting to do the work on modelling specialization in chalk. We had a meeting about this back in January (oh wow :open_mouth:) where we discussed some initial thoughts about how we might want to go about it

nikomatsakis (Apr 08 2019 at 19:17, on Zulip):

OK. That all sounds good.

Alexander Regueiro (Apr 08 2019 at 22:08, on Zulip):

Sounds good.

Alexander Regueiro (Apr 08 2019 at 22:08, on Zulip):

How's lifetime constraint stuff in Chalk going?

Alexander Regueiro (Apr 08 2019 at 22:08, on Zulip):

as I understand that's still the main blocker for usability

Sunjay Varma (Apr 08 2019 at 22:09, on Zulip):

Isn't lifetime stuff part of polonius? (I think that's separate from chalk)

tmandry (Apr 08 2019 at 22:19, on Zulip):

We need to handle lifetime constraints during trait solving too

Sunjay Varma (Apr 08 2019 at 22:21, on Zulip):

Ah okay. I didn't know that was part of chalk

Last update: Nov 12 2019 at 16:15UTC