HEL/midas
1
0
Fork 0
Code Issues Pull Requests 1 Releases Activity

chore: update examples

Browse Source
This commit is contained in:
Louis Heredero
2026-06-02 13:07:53 +02:00
parent 029caf4526
commit 63a43d79dd
2 changed files with 11 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
examples/01_simple_type_checking/02_simple_types.midas
View File

@@ -1,6 +1,6 @@
type Meter(float) type Meter = float
type Second(float) type Second = float
type MeterPerSecond(float) type MeterPerSecond = float
extend Meter { extend Meter {
op __add__(Meter) -> Meter op __add__(Meter) -> Meter

7
examples/01_simple_type_checking/03_control_flow.py
View File

@@ -4,13 +4,20 @@ def minimum(x: int, y: int):
else: else:
return y return y
a = 15 a = 15
b = 72 b = 72
c = minimum(a, b) c = minimum(a, b)
def factorial(n: int) -> int: def factorial(n: int) -> int:
if n <= 1: if n <= 1:
return 1 return 1
return n * factorial(n - 1) return n * factorial(n - 1)
category = "Category 1" if a < 10 else "Category 2" category = "Category 1" if a < 10 else "Category 2"
def foo() -> None:
pass