memory-regions.md

title	description
Memory Regions	Explicit storage and memory regions for predictable behavior.

Memory Regions

Ora makes storage and memory explicit, so data movement is visible in code and effects are predictable.

Storage and memory

contract Counter {
    storage var count: u256;
    storage var owner: address;

    pub fn inc() {
        memory var tmp: u256 = count;
        tmp = tmp + 1;
        count = tmp;
    }
}

Immutables and constants

contract Token {
    immutable NAME: string = "Ora";
    storage const MAX_SUPPLY: u256 = 1_000_000;
}

Region transitions

Reading from storage or calldata into memory is explicit at the variable declaration site.

pub fn clamp(amount: u256) -> u256 {
    memory var x: u256 = amount;
    if (x > 100) return 100;
    return x;
}

Region checks are part of the type system. Invalid transitions are rejected at compile time.