xpile 0.1.616

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

# PMAT-502cf (Tranche 2): dict comprehension over `d.items()` with a tuple
# target `{k: f(v) for k, v in d.items()}` — desugars to a ForEachPair(Pairs)
# loop building the dict. The optional `if` filter composes.
def doubled(d: dict[str, int]) -> dict[str, int]:
    return {k: v * 2 for k, v in d.items()}


def positives(d: dict[str, int]) -> dict[str, int]:
    return {k: v for k, v in d.items() if v > 0}