2. The language

• 2.1. Lexical Structure
  • 2.1.1. Identifiers
  • 2.1.2. Keywords
  • 2.1.3. Operators
  • 2.1.4. Other tokens
  • 2.1.5. Literals
  • 2.1.6. Comments
  • 2.1.7. Semantic Indenting and Significant White Space
• 2.2. Values and Data Types
  • 2.2.1. Integer
  • 2.2.2. Float
  • 2.2.3. Bool
  • 2.2.4. String
  • 2.2.5. Table
  • 2.2.6. Array
  • 2.2.7. Struct
  • 2.2.8. Classes
  • 2.2.9. Variant
  • 2.2.10. Tuple
  • 2.2.11. Enumeration
  • 2.2.12. Bitfield
  • 2.2.13. Function
  • 2.2.14. Reference
  • 2.2.15. Pointers
  • 2.2.16. Iterators
• 2.3. Statements
  • 2.3.1. Visibility Block
  • 2.3.2. Control Flow Statements
    • 2.3.2.1. true and false
    • 2.3.2.2. if/elif/else statement
    • 2.3.2.3. while statement
  • 2.3.3. Ranged Loops
    • 2.3.3.1. for
  • 2.3.4. break
  • 2.3.5. continue
  • 2.3.6. return
  • 2.3.7. yield
  • 2.3.8. Finally statement
  • 2.3.9. Local variables declaration
  • 2.3.10. Function declaration
  • 2.3.11. try/recover
  • 2.3.12. panic
  • 2.3.13. global variables
  • 2.3.14. enum
  • 2.3.15. Expression statement
• 2.4. Expressions
  • 2.4.1. Assignment
  • 2.4.2. Operators
    • 2.4.2.1. .. Operator
    • 2.4.2.2. ?: Operator
    • 2.4.2.3. ?? Null-coalescing operator
    • 2.4.2.4. ?. and ?[ - Null-propagation operator
    • 2.4.2.5. Arithmetic
    • 2.4.2.6. Relational
    • 2.4.2.7. Logical
    • 2.4.2.8. Bitwise Operators
    • 2.4.2.9. Pipe Operators
    • 2.4.2.10. Operators precedence
  • 2.4.3. Array Initializer
  • 2.4.4. Struct, Class, and Handled Type Initializer
  • 2.4.5. Tuple Initializer
  • 2.4.6. Variant Initializer
  • 2.4.7. Table Initializer
• 2.5. Temporary types
• 2.6. Built-in Functions
  • 2.6.1. Invoke
  • 2.6.2. Misc
• 2.7. Clone
  • 2.7.1. Cloning rules and implementation details
  • 2.7.2. clone_to_move implementation
• 2.8. Unsafe
• 2.9. implicit
• 2.10. other cases
• 2.11. Table
• 2.12. Array
• 2.13. Function
  • 2.13.1. Function declaration
    • 2.13.1.1. Publicity
    • 2.13.1.2. Function calls
    • 2.13.1.3. Named Arguments Function call
    • 2.13.1.4. Function pointer
    • 2.13.1.5. Nameless functions
    • 2.13.1.6. Generic functions
    • 2.13.1.7. Function overloading
    • 2.13.1.8. Default Parameters
  • 2.13.2. OOP-style calls
  • 2.13.3. Tail Recursion
  • 2.13.4. Operator Overloading
  • 2.13.5. Overloading the ‘.’ and ‘?.’ operators
  • 2.13.6. Overloading accessors
• 2.14. Modules
  • 2.14.1. Native modules
  • 2.14.2. Builtin modules
  • 2.14.3. Shared modules
  • 2.14.4. Module function visibility
• 2.15. Block
• 2.16. Lambda
  • 2.16.1. Capture
  • 2.16.2. Iterators
  • 2.16.3. Implementation details
• 2.17. Struct
  • 2.17.1. Struct Declaration
  • 2.17.2. Structure Function Members
  • 2.17.3. Inheritance
  • 2.17.4. Alignment
  • 2.17.5. OOP implementation details
• 2.18. Tuple
• 2.19. Variant
  • 2.19.1. Alignment and data layout
• 2.20. Class
  • 2.20.1. Implementation details
• 2.21. Constants, Enumerations, Global variables
  • 2.21.1. Constant
  • 2.21.2. Global variable
  • 2.21.3. Enumeration
• 2.22. Bitfield
• 2.23. Comprehension
• 2.24. Iterator
  • 2.24.1. builtin iterators
  • 2.24.2. builtin iteration functions
  • 2.24.3. low level builtin iteration functions
  • 2.24.4. next implementation details
• 2.25. Generator
  • 2.25.1. implementation details
• 2.26. Finalizer
  • 2.26.1. Rules and implementation details
• 2.27. String Builder
• 2.28. Generic Programming
  • 2.28.1. typeinfo
  • 2.28.2. auto and auto(named)
  • 2.28.3. type contracts and type operations
  • 2.28.4. options
  • 2.28.5. typedecl
  • 2.28.6. generic tuples and type<> expressions
• 2.29. Macros
  • 2.29.1. Compilation passes
  • 2.29.2. Invoking macros
  • 2.29.3. AstFunctionAnnotation
  • 2.29.4. AstBlockAnnotation
  • 2.29.5. AstStructureAnnotation
  • 2.29.6. AstEnumerationAnnotation
  • 2.29.7. AstVariantMacro
  • 2.29.8. AstReaderMacro
  • 2.29.9. AstCallMacro
  • 2.29.10. AstPassMacro
  • 2.29.11. AstTypeInfoMacro
  • 2.29.12. AstForLoopMacro
  • 2.29.13. AstCaptureMacro
  • 2.29.14. AstCommentReader
  • 2.29.15. AstSimulateMacro
  • 2.29.16. AstVisitor
• 2.30. Reification
  • 2.30.1. Simple example
  • 2.30.2. Quote macros
    • 2.30.2.1. qmacro
    • 2.30.2.2. qmacro_block
    • 2.30.2.3. qmacro_expr
    • 2.30.2.4. qmacro_type
    • 2.30.2.5. qmacro_function
    • 2.30.2.6. qmacro_variable
  • 2.30.3. Escape sequences
    • 2.30.3.1. $i(ident)
    • 2.30.3.2. $f(field-name)
    • 2.30.3.3. $v(value)
    • 2.30.3.4. $e(expression)
    • 2.30.3.5. $b(array-of-expr)
    • 2.30.3.6. $a(arguments)
    • 2.30.3.7. $t(type)
    • 2.30.3.8. $c(call-name)
• 2.31. Pattern matching
  • 2.31.1. Enumeration Matching
  • 2.31.2. Matching Variants
  • 2.31.3. Declaring Variables in Pattern Matching
  • 2.31.4. Matching Structs
  • 2.31.5. Using Guards
  • 2.31.6. Tuple Matching
  • 2.31.7. Matching Static Arrays
  • 2.31.8. Dynamic Array Matching
  • 2.31.9. Match Expressions
  • 2.31.10. Matching with || Expression
  • 2.31.11. [match_as_is] Structure Annotation
  • 2.31.12. [match_copy] Structure Annotation
  • 2.31.13. Static Matching
  • 2.31.14. match_type
  • 2.31.15. Multi-Match

• 2.32. Context
  • 2.32.1. Initialization and shutdown
  • 2.32.2. Macro contexts
  • 2.32.3. Locking
  • 2.32.4. Lookups
  • 2.32.5. Memory allocation and garbage collection
• 2.33. Locks
  • 2.33.1. Context locks
  • 2.33.2. Array and Table locks
  • 2.33.3. Array and Table lock checking