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
32
33
34
35
36
37
38
39

from __future__ import annotations

from dataclasses import dataclass


@dataclass
class Point:
    x: int
    y: int

    @classmethod
    def origin(cls) -> Point:
        # `cls(...)` constructs the enclosing class.
        return cls(0, 0)

    @classmethod
    def diagonal(cls, n: int) -> Point:
        return cls(n, n)

    @staticmethod
    def unit() -> Point:
        # A classmethod and a staticmethod may both build the class; a static
        # method names the class explicitly.
        return Point.diagonal(1)

    def manhattan(self) -> int:
        return self.x + self.y


def origin_sum() -> int:
    return Point.origin().manhattan()


def diagonal_sum(n: int) -> int:
    return Point.diagonal(n).manhattan()


def unit_sum() -> int:
    return Point.unit().manhattan()