From 146be72fd7f9aaf6b15b46a7924b071bbd059e84 Mon Sep 17 00:00:00 2001
From: LordBaryhobal <lordbaryhobal@gmail.com>
Date: Thu, 28 May 2026 17:31:12 +0200
Subject: [PATCH] chore: add simple operation and type examples

---
 .../01_simple_operations.py                        |  4 ++++
 .../01_simple_type_checking/02_simple_types.midas  | 14 ++++++++++++++
 .../01_simple_type_checking/02_simple_types.py     |  8 ++++++++
 3 files changed, 26 insertions(+)
 create mode 100644 examples/01_simple_type_checking/01_simple_operations.py
 create mode 100644 examples/01_simple_type_checking/02_simple_types.midas
 create mode 100644 examples/01_simple_type_checking/02_simple_types.py

diff --git a/examples/01_simple_type_checking/01_simple_operations.py b/examples/01_simple_type_checking/01_simple_operations.py
new file mode 100644
index 0000000..8d3bc6c
--- /dev/null
+++ b/examples/01_simple_type_checking/01_simple_operations.py
@@ -0,0 +1,4 @@
+a: int = 3
+b: int = 4
+
+c = a + b  # -> int
diff --git a/examples/01_simple_type_checking/02_simple_types.midas b/examples/01_simple_type_checking/02_simple_types.midas
new file mode 100644
index 0000000..eee3eb9
--- /dev/null
+++ b/examples/01_simple_type_checking/02_simple_types.midas
@@ -0,0 +1,14 @@
+type Meter(float)
+type Second(float)
+type MeterPerSecond(float)
+
+extend Meter {
+    op __add__(Meter) -> Meter
+    op __sub__(Meter) -> Meter
+    op __truediv__(Second) -> MeterPerSecond
+}
+
+extend Second {
+    op __add__(Second) -> Second
+    op __sub__(Second) -> Second
+}
diff --git a/examples/01_simple_type_checking/02_simple_types.py b/examples/01_simple_type_checking/02_simple_types.py
new file mode 100644
index 0000000..7968069
--- /dev/null
+++ b/examples/01_simple_type_checking/02_simple_types.py
@@ -0,0 +1,8 @@
+# type: ignore
+# ruff: disable [F821]
+
+midas.using("02_simple_types.midas")
+
+distance: Meter = 123.45
+time: Second = 6.7
+speed = distance / time