Specification Chapter/Topics

[JoelMarcey]

• [ ] 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

[chorman0773]

I'll claim ABI and FFI linkage next.