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
• 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. Table
• 2.11. Array
• 2.12. Function
  • 2.12.1. Function declaration
    • 2.12.1.1. Publicity
    • 2.12.1.2. Function calls
    • 2.12.1.3. Named Arguments Function call
    • 2.12.1.4. Function pointer
    • 2.12.1.5. Nameless functions
    • 2.12.1.6. Generic functions
    • 2.12.1.7. Function overloading
    • 2.12.1.8. Default Parameters
  • 2.12.2. OOP-style calls
  • 2.12.3. Tail Recursion
  • 2.12.4. Operator Overloading
  • 2.12.5. Overloading the ‘.’ and ‘?.’ operators
  • 2.12.6. Overloading accessors
• 2.13. Modules
  • 2.13.1. Native modules
  • 2.13.2. Builtin modules
  • 2.13.3. Shared modules
  • 2.13.4. Module function visibility
• 2.14. Block
• 2.15. Lambda
  • 2.15.1. Capture
  • 2.15.2. Iterators
  • 2.15.3. Implementation details
• 2.16. Struct
  • 2.16.1. Struct Declaration
  • 2.16.2. Structure Function Members
  • 2.16.3. Inheritance
  • 2.16.4. Alignment
  • 2.16.5. OOP
• 2.17. Tuple
• 2.18. Variant
  • 2.18.1. Alignment and data layout
• 2.19. Class
  • 2.19.1. Implementation details
• 2.20. Constants, Enumerations, Global variables
  • 2.20.1. Constant
  • 2.20.2. Global variable
  • 2.20.3. Enumeration
• 2.21. Bitfield
• 2.22. Comprehension
• 2.23. Iterator
  • 2.23.1. builtin iterators
  • 2.23.2. builtin iteration functions
  • 2.23.3. low level builtin iteration functions
  • 2.23.4. next implementation details
• 2.24. Generator
  • 2.24.1. implementation details
• 2.25. Finalizer
  • 2.25.1. Rules and implementation details
• 2.26. String Builder
• 2.27. Generic Programming
  • 2.27.1. typeinfo
  • 2.27.2. auto and auto(named)
  • 2.27.3. type contracts and type operations
  • 2.27.4. options
• 2.28. Macros
  • 2.28.1. Compilation passes
  • 2.28.2. Invoking macros
  • 2.28.3. AstFunctionAnnotation
  • 2.28.4. AstBlockAnnotation
  • 2.28.5. AstStructureAnnotation
  • 2.28.6. AstEnumerationAnnotation
  • 2.28.7. AstVariantMacro
  • 2.28.8. AstReaderMacro
  • 2.28.9. AstCallMacro
  • 2.28.10. AstPassMacro
  • 2.28.11. AstTypeInfoMacro
  • 2.28.12. AstForLoopMacro
  • 2.28.13. AstCaptureMacro
  • 2.28.14. AstCommentReader
  • 2.28.15. AstSimulateMacro
  • 2.28.16. AstVisitor
• 2.29. Reification
  • 2.29.1. Simple example
  • 2.29.2. Quote macros
    • 2.29.2.1. qmacro
    • 2.29.2.2. qmacro_block
    • 2.29.2.3. qmacro_expr
    • 2.29.2.4. qmacro_type
    • 2.29.2.5. qmacro_function
    • 2.29.2.6. qmacro_variable
  • 2.29.3. Escape sequences
    • 2.29.3.1. $i(ident)
    • 2.29.3.2. $f(field-name)
    • 2.29.3.3. $v(value)
    • 2.29.3.4. $e(expression)
    • 2.29.3.5. $b(array-of-expr)
    • 2.29.3.6. $a(arguments)
    • 2.29.3.7. $t(type)
    • 2.29.3.8. $c(call-name)
• 2.30. Pattern matching
  • 2.30.1. Enumeration Matching
  • 2.30.2. Matching Variants
  • 2.30.3. Declaring Variables in Pattern Matching
  • 2.30.4. Matching Structs
  • 2.30.5. Using Guards
  • 2.30.6. Tuple Matching
  • 2.30.7. Matching Static Arrays
  • 2.30.8. Dynamic Array Matching
  • 2.30.9. Match Expressions
  • 2.30.10. Matching with || Expression
  • 2.30.11. [match_as_is] Structure Annotation
  • 2.30.12. [match_copy] Structure Annotation
  • 2.30.13. Static Matching
  • 2.30.14. match_type
  • 2.30.15. Multi-Match

• 2.31. Context
  • 2.31.1. Initialization and shutdown
  • 2.31.2. Macro contexts
  • 2.31.3. Locking
  • 2.31.4. Lookups
• 2.32. Locks
  • 2.32.1. Context locks
  • 2.32.2. Array and Table locks
  • 2.32.3. Array and Table lock checking