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

from dataclasses import dataclass


@dataclass
class MathBox:
    value: int

    @staticmethod
    def add(a: int, b: int) -> int:
        return a + b

    @staticmethod
    def triple(n: int) -> int:
        return n * 3

    def boosted(self) -> int:
        # An instance method may call a static method via the class name.
        return MathBox.add(self.value, MathBox.triple(self.value))


def use_add(a: int, b: int) -> int:
    return MathBox.add(a, b)


def use_triple(n: int) -> int:
    return MathBox.triple(n)


def use_boosted(v: int) -> int:
    b = MathBox(v)
    return b.boosted()