Hi all! I wanted to give a quick update about the lang team. We're starting something new this year: a regular design meeting. The idea of the design meeting is that it's a time for us to have in-depth discussions on some particular topic. This might be a burning problem that we've discovered, an update on some existing design work, or a forward looking proposal.
The meetings will be scheduled in advance. Ideally, each meeting should also have a blog post before-hand giving background material, although that may be difficult to achieve in practice. Similarly, after each meeting, we'll typically post minutes and a recording, and ideally try to write up a summary blog post with major points. (Sometimes recordings are hard to achieve, either for technical reasons or because we wanted the ability to discuss more sensitive topics.)
The meetings are open for anyone to listen in and attend. They generally take place on Mondays at "noon Boston time" -- but for the precise scheduling you should check the lang team calendar. We'll try to keep the calendar up to date with the topic to be discussed in each meeting, as well. Meetings might not happen every week, if we don't have a topic in mind.
First design meeting
Our first design meeting was actually last Monday! We discussed the
soundness hole that was found some time ago in
Pin. You can read
the minutes from our discussion and a recording is also
available. You might also find it easier to read the comments in the
internals thread. The good news is that we seem to be
centralizing on a solution based on negative impls.
Next design meeting
The next design meeting will take place this coming Monday. The topic
will be how to fix rust-lang/rust#57893, which is a soundness bug
dyn types. There is a prepared writeup describing the
problem and a possible solution to guide the meeting. It is
maybe worth noting that one of the proposed solutions involved a Rust
2021 edition as well (although there are smaller, more targeted fixes
that do not require a new edition).
Design meetings after that
The next two weeks are likely to not have design meetings:
- January 20th is Martin Luther King, Jr. day in the US.
- January 27th is the Mozilla All Hands.
As a result, in both cases, many of the lang team members will be unable to attend.