Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Specification Chapter/Topics #43

Open
31 tasks
JoelMarcey opened this issue Mar 5, 2024 · 1 comment
Open
31 tasks

Specification Chapter/Topics #43

JoelMarcey opened this issue Mar 5, 2024 · 1 comment
Labels
C-meta-technical Category: Meta discussion about technical content

Comments

@JoelMarcey
Copy link
Contributor

JoelMarcey commented Mar 5, 2024 •
edited
Loading

  • Front Matter
    • Introduction
    • Specification Scope
    • Terms and Definitions
  • Source code and Rust syntax tree (graph?) - T-lang
    • Lexing/tokenization (@m-ou-se)
    • Grammar, AST
    • Crates, modules, source files
    • Macro invocations
    • Macro expansion and conditional compilation
    • Name/Path resolution of (mod-level) items
  • Static semantics - mixed T-lang/T-types
    • type checking
    • associated item resolution
    • existential (impl Trait) resolution
    • borrow checking
    • unsafe checking
    • const eval - T-opsem?
    • type inference
  • Dynamic Semantics - T-opsem
    • high level expression form
    • pattern matching and binding
    • dyn traits and dynamic method dispatch
    • memory layout and value representation (@chorman0773)
    • low level (MIR-like) statement form
    • memory model (borrowing; atomics)
    • ABIs and FFI linkage (@chorman0773)
  • The Core library crate - T-libs-api (@pietroalbini ??)
    • builtin types' traits and methods
    • core::* items
    • alloc
@JoelMarcey JoelMarcey converted this from a draft issue Mar 5, 2024
@chorman0773
Copy link
Contributor

I'll claim ABI and FFI linkage next.

@JoelMarcey JoelMarcey added C-meta-technical Category: Meta discussion about technical content and removed t-spec meeting discussion labels Mar 20, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
C-meta-technical Category: Meta discussion about technical content
Projects
Rust Specification: Tasks and Priorities
Status: In Progress
Milestone
No milestone
Development

No branches or pull requests
2 participants
@JoelMarcey @chorman0773