From dfb8bcb4cf591bed9ab77d38ad2534a72711011b Mon Sep 17 00:00:00 2001
From: LordBaryhobal <lordbaryhobal@gmail.com>
Date: Wed, 13 May 2026 11:10:06 +0200
Subject: [PATCH] feat(research): add operation syntax idea

---
 journal/week1.typ     |  4 ++++
 research/01_syntax.md | 22 ++++++++++++++++++++++
 2 files changed, 26 insertions(+)

diff --git a/journal/week1.typ b/journal/week1.typ
index f5a86d3..1df8001 100644
--- a/journal/week1.typ
+++ b/journal/week1.typ
@@ -13,3 +13,7 @@
 - Kickoff meeting with Prof. Racordon
 - Setup repositories
 - Start experimenting with syntax ideas
+
+
+#day(3)
+- Research syntax prototype
\ No newline at end of file
diff --git a/research/01_syntax.md b/research/01_syntax.md
index 37c63a7..286d989 100644
--- a/research/01_syntax.md
+++ b/research/01_syntax.md
@@ -174,4 +174,26 @@ type GeoCoordinates<Latitude, Longitude>{
     lat Latitude
     lon Longitude
 }
+```
+
+## Operations
+
+### Custom syntax - without Python constructs
+
+```python
+type Latitude<float>
+type Longitude<float>
+type LatitudeDiff<float>
+type LongitudeDiff<float>
+type Distance<float>
+
+op <Latitude> - <Latitude> = <LatitudeDiff>
+op <Longitude> - <Longitude> = <LongitudeDiff>
+
+op <LatitudeDiff> + <LatitudeDiff> = <LatitudeDiff>
+op <LongitudeDiff> + <LongitudeDiff> = <LongitudeDiff>
+op <LatitudeDiff> - <LatitudeDiff> = <LatitudeDiff>
+op <LongitudeDiff> - <LongitudeDiff> = <LongitudeDiff>
+
+op <GeoCoordinates>.distance(<GeoCoordinates>) = <Distance>
 ```
\ No newline at end of file