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

def value_line(x: float) -> str:
    # a float in an f-string must render Python repr ("3.0"), not Rust's "3".
    return f"v={x}"


def lone_float(x: float) -> str:
    return f"{x}"


def two_floats(a: float, b: float) -> str:
    return f"{a}+{b}"


def sum_field(a: float, b: float) -> str:
    # the field expression is a float (an arithmetic result).
    return f"sum={a + b}"


def with_precision(x: float) -> str:
    # an explicit `.2f` spec still works alongside the plain-field path.
    return f"{x:.2f}"