Docs
Cairo Home
  • Cairo docs
  • Language Semantics
  • Memory model 🚧
Edit this Page

Cairo docs

    • Introduction
      • Welcome to Cairo
      • How to contribute
      • Cairo 0 feature parity
    • Getting Started
      • Prerequisites
      • Compiling & running Cairo files
      • Compiling Starknet contracts
    • Language Constructs
      • 1. Notation
      • 2 Lexical structure
        • 2.1 Keywords
        • 2.2 Identifiers
        • 2.3 Comments
        • 2.4 Whitespace
        • 2.5 Punctuation
      • 3. Modules & source files
      • 4. Items
        • 4.1 Modules
        • 4.2 Use declarations
        • 4.3 Functions
          • 4.3.1 Generic parameters
          • 4.3.2 Implicit arguments
        • 4.4 Type aliases 🚧
        • 4.5 Impl aliases 🚧
        • 4.6 Structs
        • 4.7 Enums
        • 4.8 Constant items 🚧
        • 4.9 Traits and impls
      • 5. Names
        • 5.1 Paths
        • 5.2 Namespaces 🚧
        • 5.3 Visibility 🚧
        • 5.4 Prelude
        • 5.5 Naming conventions
      • 6. Statements
        • 6.1 Let statement
        • 6.2 Assignment statement
        • 6.3 lvalue
        • 6.4 Item statement 🚧
        • 6.5 Expression statement
        • 6.6 Return statement 🚧
      • 7. Expressions
        • 7.1 Literal expressions
        • 7.2 Path expressions
        • 7.3 Block expression
        • 7.4 Operator expressions
          • 7.4.1 Negation operators
          • 7.4.2 Arithmetic & logical operators 🚧
          • 7.4.3 Equality operators 🚧
          • 7.4.4 Comparison operators 🚧
          • 7.4.5 Boolean operators 🚧
          • 7.4.6 Error propagation operator 🚧
          • 7.4.7 Operator precedence
        • 7.5 Parenthesized expressions
        • 7.6 Function calls
        • 7.7 Method calls
        • 7.8 Member access expressions
        • 7.9 Tuple expressions 🚧
        • 7.10 Struct expressions 🚧
        • 7.11 If expressions 🚧
        • 7.12 Match expressions 🚧
        • 7.13 For loop expressions 🚧
      • 8. Patterns
      • 9. Type system
        • 9.1 Types
          • 9.1.1 Boolean types
          • 9.1.2 Felt252 type 🚧
          • 9.1.3 Integer types
          • 9.1.4 String types 🚧
          • 9.1.5 Unit type
          • 9.1.6 Never type
          • 9.1.7 Tuple types 🚧
          • 9.1.8 Struct types 🚧
          • 9.1.9 Enum types 🚧
          • 9.1.10 Array types 🚧
          • 9.1.11 Dict type
        • 9.2 Linear Types
        • 9.3 Generics
        • 9.4 Inference
      • 10. Panic
    • Language Semantics
      • Memory model 🚧
      • Constant evaluation 🚧
      • Application binary interface 🚧
      • Runtime 🚧
    • Appendices
      • Full grammar 🚧
      • Contribution guidelines
      • Security
Starknet Home
Tutorials

Memory model

This section is a work in progress.

You are very welcome to contribute to this documentation by submitting a pull request.

10. Panic Constant evaluation 🚧

Twitter

Discord

GitHub

YouTube