Formalize the notion of `#[fundamental]`

Open
#714 0 comments 0 reactions 0 assignees View on GitHub

Nobody has claimed this yet.

Assessment

Difficulty
5/5
Estimated time
Over a week
Newbie friendliness
25/100
Issue type
Documentation
Clarity
Needs clarification
Activity status
Stale
Tech stack
rust
Domain
documentation

Research direction

Start by reading the linked rust-lang/reference pull request 703 and the quoted discussion about type constructors, locality, and #[fundamental]. The issue is done only once the notion has an agreed formal description and the relevant fundamental type constructors are itemized.

Written by the indexing model from the issue text.

Description

A-types

Context: https://github.com/rust-lang/reference/pull/703

I think we sorta want to give a description of behavior for any arbitrary fundamental type that is semi-syntactic in that it talks about type arguments and type constructors and how those relate wrt. locality and such. Then we can itemize a list of fundamental type constructors.

I changed the fundamental types part to use the type constructor wording, but I leave it to Niko to define what they are :)

cc @nikomatsakis

Dominant language
Rust
Stars
1.6k
Forks
607
Avg merge
1d 1h
Merged PRs (30d)
12

Contributor guide

Open the contributing guide

First steps

  1. Read the whole issue, then the project's contributing guide.
  2. Comment on the issue to say you are picking it up — it saves two people doing the same work.
  3. Fork the repository and make your change on a branch.
  4. Open a pull request that references the issue number.

More from rust-lang/reference

All issues in rust-lang/reference

Similar issues

More Rust issues

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.