Notes

These are random developer notes. They usually relate to the design of the language and provide rationales, describe trade-offs, etc. They can be thought of as early, informal versions of what will appear in the specification later on.

A note should start with Note: in the page title and be linked to verbatim. Feel free to categorize notes under headings on this page.

Type System

• Note: Pointer Types and Casts
• Note: Function Pointer Types
• Note: Inherited Mutability
• Note: Explicit Immutability

Expression Syntax

• Note: Method and Field Access
• Note: Pattern Matching
• Note: Boxing Expressions
• Note: Block Result Values
• Note: Meta Expression
• Note: Computed Gotos and Label Values

Macros and CTE

• Note: Compile Time Evaluation Overview
• Note: Quoting and Unquoting
• Note: CTE Cycles
• Note: Illegal Code in CTE

ABI and FFI

• Note: External Functions
• Note: Type and Field Alignment
• Note: Type Information Storage

Debugging

• Note: Shadow Stack
• Note: Debugger API
• Note: Remote Debugging

Miscellaneous

• Note: Preprocessor Directives
• Note: Identifier Lookup Rules
• Note: Failure and Unwinding