Stream: t-compiler/meetings

Topic: [proposal] roadmap 2020-2021 compiler-team#287


pnkfelix (May 08 2020 at 15:41, on Zulip):

creating topic to discuss compiler-team#287

nikomatsakis (May 19 2020 at 15:33, on Zulip):

Hey @T-compiler/meeting -- so in leadup for this meeting @pnkfelix and I put some effort into this document which has a rough draft of compiler team priorities + goals. It's got some comments that try to explain the various sections but please take a look. Also maybe worth looking at the lang team ideas and priorities doc too, as I hope to reconcile the two of them somewhat.

nikomatsakis (May 19 2020 at 15:34, on Zulip):

I'm sure stuff is missing so feel free to add notes or thoughts into the doc (but identify, if you do, those additions to make them easy to spot)

oli (May 19 2020 at 15:58, on Zulip):

I filled in the const-eval and mir-opt placeholders

varkor (May 19 2020 at 19:04, on Zulip):

I'll try to summarise where const generics is at a high level soon. Lazy normalisation was the main blocker, and now that the first PR has been merged, hopefully we can make some solid progress towards making it more stable.

nikomatsakis (May 19 2020 at 20:04, on Zulip):

@varkor I was doing some work today on I think removing some of the other big blockers (on the topic of lazy norm...)

nikomatsakis (May 19 2020 at 20:04, on Zulip):

I think I finally figured out how to manage that...

nikomatsakis (May 19 2020 at 20:04, on Zulip):

...but that's for another topic...

nikomatsakis (May 19 2020 at 20:04, on Zulip):

I wanted to say that @matklad's post on the next few years of rust-analyzer seems pretty germane here, if you've not read it

nikomatsakis (May 28 2020 at 16:36, on Zulip):

So to circle back to this, @pnkfelix, first off I sent you the wrong hackmd earlier. This is the correct hackmd, and I edited the issue to reflect that.

nikomatsakis (May 28 2020 at 16:37, on Zulip):

But separately, I was thinking after our lang-team meeting, that I think there is an interesting mix of "top-down" and "bottom-up" that the lang-team meeting didn't quite steer, and I'd like to try and shape this coming one a bit differently. I think the right way for us to be working is more about "identify the priorities" and have people tell us what actions they expect to take that fit in that framework

nikomatsakis (May 28 2020 at 16:37, on Zulip):

but it's also maybe a good place for us to brainstorm a bit about specific areas and what we can do there

pnkfelix (May 28 2020 at 17:18, on Zulip):

nikomatsakis said:

So to circle back to this, pnkfelix, first off I sent you the wrong hackmd earlier. This is the correct hackmd, and I edited the issue to reflect that.

you know, I did skim that (the erroneous hackmd) and said "this doesn't look quite right" but I couldn't put my finger on what was wrong. Now I realize it was the notes for a different roadmap discussion. Sort of sad/funny how much stuff still applies today...

nikomatsakis (May 28 2020 at 19:36, on Zulip):

I had that same experience :)

Félix Fischer (May 28 2020 at 22:52, on Zulip):

Well, it makes sense, doesn't it? Some of the best things aren't built in a couple of years, but over many

Félix Fischer (May 28 2020 at 22:53, on Zulip):

I bet NLL was a thing in the to-do list before 1.0

Félix Fischer (May 28 2020 at 22:53, on Zulip):

:3

pnkfelix (May 28 2020 at 23:22, on Zulip):

"borrow scopes should not always be lexical" #6393

pnkfelix (May 28 2020 at 23:23, on Zulip):

(dates from 2013)

Félix Fischer (May 29 2020 at 03:29, on Zulip):

:sparkling_heart:

Félix Fischer (May 29 2020 at 03:30, on Zulip):

Wisdom from old times

Last update: Nov 25 2020 at 02:30UTC