From 9f0014ee994116277d3ac5ca507c03b42f922bd1 Mon Sep 17 00:00:00 2001
From: BlueRexPY <ruslanryscovbluerex@gmail.com>
Date: Tue, 26 Dec 2023 01:04:49 +0100
Subject: [PATCH] added day 18

---
 .vscode/settings.json |   1 +
 Day18/description.md  |  14 +++++
 Day18/solution.ts     |  11 ++++
 Day18/test.ts         | 125 ++++++++++++++++++++++++++++++++++++++++++
 4 files changed, 151 insertions(+)
 create mode 100644 Day18/description.md
 create mode 100644 Day18/solution.ts
 create mode 100644 Day18/test.ts

diff --git a/.vscode/settings.json b/.vscode/settings.json
index 9afd058..06a403c 100644
--- a/.vscode/settings.json
+++ b/.vscode/settings.json
@@ -3,6 +3,7 @@
         "aadamw",
         "Allis",
         "anthonyshew",
+        "arguemnt",
         "ayrock",
         "ayush",
         "basokant",
diff --git a/Day18/description.md b/Day18/description.md
new file mode 100644
index 0000000..06f8047
--- /dev/null
+++ b/Day18/description.md
@@ -0,0 +1,14 @@
+# Santa's Remaining Deliveries
+
+Santa needs your help to count the number of presents he has to deliver! He's got all kinds of presents, from video game consoles (🎮), stuffed animals (🧸), toy cars (🏎️), books (📚), and more!
+
+We need a general purpose type that can take a tuple of items as its first arguemnt and an item to search for as the second argument. It should return a count of the item specified.
+
+For example:
+
+```ts
+Count<["👟", "👟", "💻", "🎸", "🧩", "👟", "🧸"], "👟">;
+```
+
+should return `3` because there are three `👟`.
+prompt by [Dimitri Mitropoulos](https://github.com/dimitropoulos) of [MiTS](https://www.youtube.com/@MichiganTypeScript)
diff --git a/Day18/solution.ts b/Day18/solution.ts
new file mode 100644
index 0000000..3a881ea
--- /dev/null
+++ b/Day18/solution.ts
@@ -0,0 +1,11 @@
+type Count<
+  List extends any[],
+  Target extends string,
+  Accumulator extends any[] = []
+> = List extends [infer Current, ...infer Rest]
+  ? Current extends Target
+    ? Count<Rest, Target, [...Accumulator, Current]>
+    : Count<Rest, Target, [...Accumulator]>
+  : Accumulator["length"];
+
+export { Count };
diff --git a/Day18/test.ts b/Day18/test.ts
new file mode 100644
index 0000000..65607df
--- /dev/null
+++ b/Day18/test.ts
@@ -0,0 +1,125 @@
+import { Expect, Equal } from "type-testing";
+import { Count } from "./solution";
+
+type ToySack = [
+  "🎸",
+  "🎧",
+  "👟",
+  "👟",
+  "💻",
+  "🪀",
+  "🧩",
+  "🎮",
+  "🎨",
+  "🕹️",
+  "📱",
+  "🧩",
+  "🧸",
+  "🎧",
+  "👟",
+  "🚲",
+  "📚",
+  "⌚",
+  "🎨",
+  "👟",
+  "🎸",
+  "🧸",
+  "👟",
+  "🎸",
+  "📱",
+  "🎧",
+  "🎮",
+  "🎒",
+  "📱",
+  "🧩",
+  "🧩",
+  "🚲",
+  "🕹️",
+  "🧵",
+  "📱",
+  "🕹️",
+  "🕰️",
+  "🧢",
+  "🕹️",
+  "👟",
+  "🧸",
+  "📚",
+  "🧁",
+  "🧩",
+  "🎸",
+  "🎮",
+  "🧁",
+  "📚",
+  "💻",
+  "⌚",
+  "🛹",
+  "🧁",
+  "🧣",
+  "🪁",
+  "🎸",
+  "🧸",
+  "🧸",
+  "🧸",
+  "🧩",
+  "🪁",
+  "🏎️",
+  "🏎️",
+  "🧁",
+  "📚",
+  "🧸",
+  "🕶️",
+  "💻",
+  "⌚",
+  "⌚",
+  "🕶️",
+  "🎧",
+  "🎧",
+  "🎧",
+  "💻",
+  "👟",
+  "🎸",
+  "💻",
+  "🪐",
+  "📚",
+  "🎨",
+  "📱",
+  "🎧",
+  "📱",
+  "🎸",
+  "🏎️",
+  "👟",
+  "🚲",
+  "📱",
+  "🚲",
+  "🎸"
+];
+
+type test_0_actual = Count<ToySack, "👟">;
+//   ^?
+type test_0_expected = 8;
+type test_0 = Expect<Equal<test_0_expected, test_0_actual>>;
+
+type test_1_actual = Count<ToySack, "🧦">;
+//   ^?
+type test_1_expected = 0;
+type test_1 = Expect<Equal<test_1_expected, test_1_actual>>;
+
+type test_2_actual = Count<ToySack, "🧩">;
+//   ^?
+type test_2_expected = 6;
+type test_2 = Expect<Equal<test_2_expected, test_2_actual>>;
+
+type test_3_actual = Count<ToySack, "🛹">;
+//   ^?
+type test_3_expected = 1;
+type test_3 = Expect<Equal<test_3_expected, test_3_actual>>;
+
+type test_4_actual = Count<ToySack, "🏎️">;
+//   ^?
+type test_4_expected = 3;
+type test_4 = Expect<Equal<test_4_expected, test_4_actual>>;
+
+type test_5_actual = Count<ToySack, "📚">;
+//   ^?
+type test_5_expected = 5;
+type test_5 = Expect<Equal<test_5_expected, test_5_actual>>;