The Datara Programming Language

Deterministic Systems & Application Language for the Modern Era

Quickstart • Code Tour • Core Pillars • Comparison • Ecosystem • Documentation

Datara unites the mechanical sympathy and sub-millisecond execution of bare-metal C and Rust with the syntactic elegance and developer velocity of modern languages.

Designed specifically for low-latency infrastructure, game engines, high-frequency systems, and distributed cloud services, Datara enforces automatic memory safety at compile time without a garbage collector and without the steep learning curve of manual lifetime annotations.

Here is what idiomatic Datara code looks like:

// Data-oriented record with affine ownership
class Order {
    id: Int
    symbol: Str
    shares: Int
    price: Float
}

// Behavioral extension: methods separated from raw state
behavior Order {
    total_value() -> Float => shares.to_float() * price

    format_summary() -> Str {
        return fmt"Order #{id}: {shares}x {symbol} @ ${price} (Total: ${total_value()})"
    }
}

// Pipeline transformation
fn apply_rebate(val: Float) -> Float => val * 0.98

fn main() {
    let order = Order { id: 2048, symbol: "NVDA", shares: 50, price: 124.50 }

    let final_cost = order.total_value() |> apply_rebate()

    println(order.format_summary())
    println(fmt"Discounted execution cost: ${final_cost}")
}

Datara tracks resource ownership and lifetimes automatically through static lexical regions. You get the deterministic deallocation guarantees of Rust without writing 'a, 'b lifetime sigils.

Every optimization pass in the forgen compiler pipeline (SROA, Mem2Reg, BCE, LoopFold, CSE) produces formal mathematical proofs at the SSA DMIR intermediate representation level. Undefined behavior is eliminated by construction.

• Developer Velocity: Instant 30–50ms JIT evaluation and compilation via Cranelift.
• Production Peak Performance: Whole-program optimization, auto-vectorization, and profile-guided optimization (PGO) via LLVM AOT (-O3 -flto).
• Zero-Trust Sandboxing: Native WebAssembly target with capability-guarded execution.

The Sparks package manager cryptographically signs package manifests using Ed25519 keys and enforces fine-grained capability descriptors (.capabilities.json) to prevent supply-chain vulnerabilities.

Install the complete Datara toolchain (forgen compiler, language server, and sparks package manager) with a single command:

irm https://raw.githubusercontent.com/datara-lang/datara/main/install.ps1 | iex

curl -fsSL https://raw.githubusercontent.com/datara-lang/datara/main/install.sh | sh

Verify your installation:

datara version