added goal example

azizghuloum · Nov 25, 2024 · a2fff5d · a2fff5d
1 parent 409298c
commit a2fff5d
Showing 1 changed file with 15 additions and 0 deletions.
diff --git a/README.md b/README.md
@@ -1,5 +1,20 @@
 # Term Rewrite System for TypeScript
 
+# Goals
+
+## Ability to define pattern matching
+
+```typescript
+type T = { type: "num"; num: number } | { type: "str"; str: string };
+
+const x: T = { type: "num", num: 17 };
+
+match(x, [
+  [{ type: "num", num: n }, n + n],
+  [{ type: "str", str: s }, s.length],
+]);
+```
+
 # Progress
 
 ## basic expressions, statements, and declarations