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
26
27
28
29
30
31

def remove_count() -> int:
    xs = [1, 2, 3, 2]
    xs.remove(2)
    return len(xs)


def remove_first_only() -> int:
    # `.remove` deletes only the FIRST matching element.
    xs = [1, 2, 3, 2]
    xs.remove(2)
    return xs[2]


def remove_then_sum() -> int:
    xs = [10, 20, 30]
    xs.remove(20)
    total = 0
    for x in xs:
        total += x
    return total


def remove_str() -> int:
    words = ["a", "b", "c"]
    words.remove("b")
    return len(words)


def remove_param(xs: list[int], k: int) -> int:
    xs.remove(k)
    return len(xs)