xpile 0.1.615

Polyglot transpile workbench (Python/C/C++/Rust/Ruchy/Lean ↔ Rust/Ruchy/PTX/WGSL/SPIR-V) with provable contracts at every layer.
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25

from dataclasses import dataclass


@dataclass
class Config:
    timeout: int = 30
    retries: int = 3
    name: str = "default"


def all_defaults() -> int:
    # No args → all fields take their literal defaults.
    c = Config()
    return c.timeout + c.retries


def partial() -> int:
    # Override one; the rest default.
    c = Config(timeout=5)
    return c.timeout + c.retries


def named_override() -> str:
    c = Config(name="custom")
    return c.name