From b96d698d7fbba357bacbca046ef780af64a4c55d Mon Sep 17 00:00:00 2001
From: miqlangelo <michael.mohr@innofera.de>
Date: Mon, 5 May 2025 15:33:51 +0200
Subject: [PATCH] update

---
 .../KATA/{tests.ts => solution.test.ts}       |  2 +-
 .../discriminated.ts                          | 31 ++++++++++++
 .../mapped-types.ts                           |  0
 src/05-forgeschrittenes-typsystem/tuple.ts    | 38 ++++++++++++++
 .../union-intersection.ts                     | 49 +++++++++++++++++++
 5 files changed, 119 insertions(+), 1 deletion(-)
 rename src/04-collections/KATA/{tests.ts => solution.test.ts} (99%)
 create mode 100644 src/05-forgeschrittenes-typsystem/discriminated.ts
 create mode 100644 src/05-forgeschrittenes-typsystem/mapped-types.ts
 create mode 100644 src/05-forgeschrittenes-typsystem/tuple.ts
 create mode 100644 src/05-forgeschrittenes-typsystem/union-intersection.ts

diff --git a/src/04-collections/KATA/tests.ts b/src/04-collections/KATA/solution.test.ts
similarity index 99%
rename from src/04-collections/KATA/tests.ts
rename to src/04-collections/KATA/solution.test.ts
index 3512cbc..d592825 100644
--- a/src/04-collections/KATA/tests.ts
+++ b/src/04-collections/KATA/solution.test.ts
@@ -14,7 +14,7 @@ import {
   sortNumbersDescending,
   squareNumbers,
   sumNumbers,
-} from './starter.ts';
+} from './solution.ts';
 
 Deno.test('squareNumbers quadriert alle Zahlen', () => {
   assertEquals(squareNumbers([1, 2, 3]), [1, 4, 9]);
diff --git a/src/05-forgeschrittenes-typsystem/discriminated.ts b/src/05-forgeschrittenes-typsystem/discriminated.ts
new file mode 100644
index 0000000..9fa2627
--- /dev/null
+++ b/src/05-forgeschrittenes-typsystem/discriminated.ts
@@ -0,0 +1,31 @@
+type Circle = { kind: 'circle'; radius: number };
+type Square = { kind: 'square'; sideLength: number };
+type Triangle = { kind: 'triangle'; base: number; height: number };
+
+type Shape = Circle | Square | Triangle;
+
+function calculateArea(shape: Shape): number {
+  switch (shape.kind) {
+    case 'circle':
+      return Math.PI * shape.radius ** 2;
+    case 'square':
+      return shape.sideLength ** 2;
+    case 'triangle':
+      return (shape.base * shape.height) / 2;
+
+    default: {
+      const _exhaustiveCheck: never = shape;
+      throw new Error(
+        `Unhandled discrimated union case: ${JSON.stringify(_exhaustiveCheck)}`
+      );
+    }
+  }
+}
+
+const circle: Circle = { kind: 'circle', radius: 5 };
+const square: Square = { kind: 'square', sideLength: 10 };
+const triangle: Triangle = { kind: 'triangle', base: 5, height: 10 };
+
+console.log(calculateArea(circle));
+console.log(calculateArea(square));
+console.log(calculateArea(triangle));
diff --git a/src/05-forgeschrittenes-typsystem/mapped-types.ts b/src/05-forgeschrittenes-typsystem/mapped-types.ts
new file mode 100644
index 0000000..e69de29
diff --git a/src/05-forgeschrittenes-typsystem/tuple.ts b/src/05-forgeschrittenes-typsystem/tuple.ts
new file mode 100644
index 0000000..abbe28d
--- /dev/null
+++ b/src/05-forgeschrittenes-typsystem/tuple.ts
@@ -0,0 +1,38 @@
+let person: [string, number];
+
+person = ['Alice', 30];
+// person = [30, "Alice"];
+
+type Coordinate = [number, number];
+const point: Coordinate = [10, 20];
+
+function getX(coordinate: Coordinate): number {
+  return coordinate[0];
+}
+
+console.log(getX(point));
+
+type Person = [string, number, string?];
+const user1: Person = ['Alice', 30];
+const user2: Person = ['Bob', 42, 'Developer'];
+
+const [name, age, role] = user2;
+console.log(name, age, role);
+const user = {
+  name: 'Charly',
+  age: 23,
+  role: 'Admin',
+};
+
+const { name: tmpName, role: tmpRole } = user;
+console.log('Name: ', tmpName);
+console.log('Role: ', tmpRole);
+
+// const [isActive, setIsActive] = useState(false);
+
+// function useState(value: any) {
+//   return [value, (newvalue: any) => void ];
+// }
+
+type LogEntry = [string, ...number[]];
+const log: LogEntry = ['Fehlermeldung', 404, 500, 501];
diff --git a/src/05-forgeschrittenes-typsystem/union-intersection.ts b/src/05-forgeschrittenes-typsystem/union-intersection.ts
new file mode 100644
index 0000000..392dc7f
--- /dev/null
+++ b/src/05-forgeschrittenes-typsystem/union-intersection.ts
@@ -0,0 +1,49 @@
+type StringOrNumber = string | number;
+
+function combine(input: StringOrNumber, extra: StringOrNumber): StringOrNumber {
+  if (typeof input === 'number' && typeof extra === 'number') {
+    return input + extra;
+  }
+
+  return input.toString() + extra.toString();
+}
+
+console.log(combine(1, 'test'));
+
+type Person = { name: string };
+type Worker = { company: string };
+
+type EmployeedPerson = Person & Worker;
+
+const employee: EmployeedPerson = {
+  name: 'Alice',
+  company: 'TechCorp',
+};
+console.log(employee);
+
+// const value: StringOrNumber = true
+
+function formatInput(input: StringOrNumber): string {
+  return `Eingabe: ${input}`;
+}
+
+console.log(formatInput('Test'));
+console.log(formatInput(123));
+
+function getLength(value: string | number): number {
+  if (typeof value === 'string') {
+    return value.length;
+  }
+
+  return value.toString().length;
+}
+
+type A = { id: string };
+type B = { id: number };
+
+type C = A & B;
+
+// const c: C = {
+//   // id: "test"
+//   // id: 4,
+// };