Stream: t-lang/wg-unsafe-code-guidelines

Topic: Rust 2018 Docs Push


Gankro (Nov 08 2018 at 18:13, on Zulip):

I am considering doing a nomicon docs push for the 2018 release, taking input on desired topics to add or reinforce. Also interested in any discussion of what should be in the nomicon vs the reference (originally the nomicon was written as a partial replacement for the reference, when it was a tire fire, but now the reference is coming together?)

Gankro (Nov 08 2018 at 18:17, on Zulip):

NLL and Futures and/or all of async seem like good candidates. Someone already has a PR up to try to introduce NLL stuff into the nomicon, haven't reviewed it yet.

Gankro (Nov 08 2018 at 18:17, on Zulip):

I am also tempted to add things like some "safe" superset of all the reference semantics y'all are considering

Gankro (Nov 08 2018 at 18:18, on Zulip):

like the nasty "creating a reference asserts the memory is allocated" issue we have in BTreeMap

RalfJ (Nov 08 2018 at 18:18, on Zulip):

@Gankro I'll write a blog post soon on the aliasing/reference model stuff

RalfJ (Nov 08 2018 at 18:18, on Zulip):

it's coming along real nice :)

RalfJ (Nov 08 2018 at 18:19, on Zulip):

but none of it is normative yet. not sure if it has relevance for the nomicon.

Gankro (Nov 08 2018 at 18:19, on Zulip):

@RalfJ are the concepts far enough along that they would be a good idea to discuss in the nomicon?

Gankro (Nov 08 2018 at 18:19, on Zulip):

hrm

RalfJ (Nov 08 2018 at 18:19, on Zulip):

well that depends on your scope. my plan was a "call for help" where I ask people to throw their stuff at miri and see what sticks

RalfJ (Nov 08 2018 at 18:20, on Zulip):

maybe that works better this time than last year because we have miri in the playground

RalfJ (Nov 08 2018 at 18:21, on Zulip):

I think the general concepts are a useful way to think about the rules for references. some of the details might change because we might need special exceptions for a thing or because we can factor away a special exception. but whether the concepts will be what we eventually make normative? no way to know^^

Last update: Nov 19 2019 at 17:45UTC