Update package dependencies and refactor Program.ts to implement user and pet schemas with matching functionality

Author: erikologic

package-lock.json

@@ -54,7 +54,8 @@
     "eslint-plugin-import": "^2.30.0",
     "eslint-plugin-simple-import-sort": "^12.1.1",
     "eslint-plugin-sort-destructure-keys": "^2.0.0",
-    "tsx": "^4.17.0",
+    "ts-node": "^10.9.2",
+    "tsx": "^4.20.3",
     "typescript": "^5.6.2",
     "vitest": "^3.2.0"
   },
@@ -76,4 +77,4 @@
       "babel-plugin-annotate-pure-calls@0.4.0": "patches/babel-plugin-annotate-pure-calls@0.4.0.patch"
     }
   }
-}
+}

package.json

@@ -1,3 +1,32 @@
+import { Match, Schema } from "effect"
 import * as Effect from "effect/Effect"
 
-Effect.runPromise(Effect.log("Hello, World!"))
+const User = Schema.TaggedStruct("User", {
+  name: Schema.String,
+  age: Schema.Number
+})
+type IUser = Schema.Schema.Type<typeof User>
+
+const john = User.make({ name: "John", age: 44 })
+
+const Pet = Schema.TaggedStruct("Pet", {
+  name: Schema.String,
+  age: Schema.Number
+})
+type IPet = Schema.Schema.Type<typeof Pet>
+
+const dog = Pet.make({ name: "Dog", age: 5 })
+
+type IEntities = IUser | IPet
+
+const engine = Match.type<IEntities>().pipe(
+  Match.tag("Pet", (input) => {
+    console.log(`Pet: ${input.name}, Age: ${input.age}`)
+  }),
+  Match.tag("User", (input) => {
+    console.log(`User: ${input.name}, Age: ${input.age}`)
+  }),
+  Match.exhaustive
+)
+
+console.log(engine(dog))