Stream: t-compiler/wg-nll

Topic: ask not for whom the polonius tolls

Jake Goulding (Feb 13 2019 at 21:12, on Zulip):

Regarding Polonius, my understanding is we are going to try fork off the Polonius work separately. Basically, I want to tie a bow on the current NLL system and move on to a different project, but certainly others are working on Polonius and I believe @nikomatsakis intends to either steer that ship themself or find someone else to pilot it in. Its our current best hope for getting NLL to its idealized state.

So, who is working on Polonius so that I might follow the exciting progress?

lqd (Feb 13 2019 at 21:17, on Zulip):

we talked at an earlier meeting there would maybe be another WG for it, with a lot of current WG-NLL members being interested in joining

lqd (Feb 13 2019 at 21:19, on Zulip):

I can find a link to the conversation if you want

Jake Goulding (Feb 13 2019 at 21:22, on Zulip):

nah, that's fine. So long as this stream is the right place to lurk for now

lqd (Feb 13 2019 at 21:24, on Zulip):

yeah it still is, in other news Niko has published an article or three recently about it in case you missed them. Some of which has been implemented (there's a PR at least)

nikomatsakis (Feb 15 2019 at 20:53, on Zulip):

@Jake Goulding see #t-compiler/wg-polonius

Last update: Jul 14 2020 at 13:15UTC