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

def fsum(xs: list[float]) -> float:
    # CPython 3.12+ sum() over floats uses Neumaier compensated summation;
    # naive left-to-right would give 0.0 here (catastrophic cancellation).
    return sum(xs)


def fsum_ones() -> float:
    # naive sum([0.1]*10) == 0.9999999999999999; compensated == 1.0.
    xs: list[float] = [0.1, 0.1, 0.1, 0.1, 0.1, 0.1, 0.1, 0.1, 0.1, 0.1]
    return sum(xs)


def fsum_start(xs: list[float], s: float) -> float:
    return sum(xs, s)


def isum(xs: list[int]) -> int:
    # int sum stays exact.
    return sum(xs)