add day 16 and 17

16/index.ts

@@ -0,0 +1,68 @@
+import { Expect, Equal } from "type-testing";
+
+type StringToNumber<T> = T extends `${infer N extends number}` ? N : never;
+
+type FindSanta<Forest extends unknown[][]> = {
+  [Row in keyof Forest]: {
+    [Column in keyof Forest[Row]]: Forest[Row][Column] extends "🎅🏼"
+      ? [StringToNumber<Row>, StringToNumber<Column>]
+      : never;
+  }[keyof Forest[Row]];
+}[number];
+
+// ------------------- Test section ---------------------
+
+type Forest0 = [
+  ["🎅🏼", "🎄", "🎄", "🎄"],
+  ["🎄", "🎄", "🎄", "🎄"],
+  ["🎄", "🎄", "🎄", "🎄"],
+  ["🎄", "🎄", "🎄", "🎄"],
+];
+type test_0_actual = FindSanta<Forest0>;
+//   ^?
+type test_0_expected = [0, 0];
+type test_0 = Expect<Equal<test_0_expected, test_0_actual>>;
+
+type Forest1 = [
+  ["🎄", "🎄", "🎄", "🎄"],
+  ["🎄", "🎄", "🎄", "🎄"],
+  ["🎄", "🎄", "🎄", "🎄"],
+  ["🎄", "🎅🏼", "🎄", "🎄"],
+];
+type test_1_actual = FindSanta<Forest1>;
+//   ^?
+type test_1_expected = [3, 1];
+type test_1 = Expect<Equal<test_1_expected, test_1_actual>>;
+
+type Forest2 = [
+  ["🎄", "🎄", "🎄", "🎄"],
+  ["🎄", "🎄", "🎄", "🎄"],
+  ["🎄", "🎄", "🎅🏼", "🎄"],
+  ["🎄", "🎄", "🎄", "🎄"],
+];
+type test_2_actual = FindSanta<Forest2>;
+//   ^?
+type test_2_expected = [2, 2];
+type test_2 = Expect<Equal<test_2_expected, test_2_actual>>;
+
+type Forest3 = [
+  ["🎄", "🎄", "🎄", "🎄"],
+  ["🎄", "🎄", "🎄", "🎄"],
+  ["🎄", "🎅🏼", "🎄", "🎄"],
+  ["🎄", "🎄", "🎄", "🎄"],
+];
+type test_3_actual = FindSanta<Forest3>;
+//   ^?
+type test_3_expected = [2, 1];
+type test_3 = Expect<Equal<test_3_expected, test_3_actual>>;
+
+type Forest4 = [
+  ["🎄", "🎄", "🎄", "🎄"],
+  ["🎄", "🎄", "🎅🏼", "🎄"],
+  ["🎄", "🎄", "🎄", "🎄"],
+  ["🎄", "🎄", "🎄", "🎄"],
+];
+type test_4_actual = FindSanta<Forest4>;
+//   ^?
+type test_4_expected = [1, 2];
+type test_4 = Expect<Equal<test_4_expected, test_4_actual>>;

17/index.ts

@@ -0,0 +1,60 @@
+import { Expect, Equal } from "type-testing";
+
+type RockPaperScissors = "👊🏻" | "🖐🏾" | "✌🏽";
+type RockPaperScissorsWin = ["👊🏻", "🖐🏾"] | ["🖐🏾", "✌🏽"] | ["✌🏽", "👊🏻"];
+
+type WhoWins<
+  Player1 extends RockPaperScissors,
+  Player2 extends RockPaperScissors,
+> = Player1 extends Player2
+  ? "draw"
+  : [Player1, Player2] extends RockPaperScissorsWin
+    ? "win"
+    : "lose";
+
+// ------------------- Test section ---------------------
+
+type test_0_actual = WhoWins<"👊🏻", "🖐🏾">;
+//   ^?
+type test_0_expected = "win";
+type test_0 = Expect<Equal<test_0_expected, test_0_actual>>;
+
+type test_1_actual = WhoWins<"👊🏻", "✌🏽">;
+//   ^?
+type test_1_expected = "lose";
+type test_1 = Expect<Equal<test_1_expected, test_1_actual>>;
+
+type test_2_actual = WhoWins<"👊🏻", "👊🏻">;
+//   ^?
+type test_2_expected = "draw";
+type test_2 = Expect<Equal<test_2_expected, test_2_actual>>;
+
+type test_3_actual = WhoWins<"🖐🏾", "👊🏻">;
+//   ^?
+type test_3_expected = "lose";
+type test_3 = Expect<Equal<test_3_expected, test_3_actual>>;
+
+type test_4_actual = WhoWins<"🖐🏾", "✌🏽">;
+//   ^?
+type test_4_expected = "win";
+type test_4 = Expect<Equal<test_4_expected, test_4_actual>>;
+
+type test_5_actual = WhoWins<"🖐🏾", "🖐🏾">;
+//   ^?
+type test_5_expected = "draw";
+type test_5 = Expect<Equal<test_5_expected, test_5_actual>>;
+
+type test_6_actual = WhoWins<"✌🏽", "👊🏻">;
+//   ^?
+type test_6_expected = "win";
+type test_6 = Expect<Equal<test_6_expected, test_6_actual>>;
+
+type test_7_actual = WhoWins<"✌🏽", "✌🏽">;
+//   ^?
+type test_7_expected = "draw";
+type test_7 = Expect<Equal<test_7_expected, test_7_actual>>;
+
+type test_8_actual = WhoWins<"✌🏽", "🖐🏾">;
+//   ^?
+type test_8_expected = "lose";
+type test_8 = Expect<Equal<test_8_expected, test_8_actual>>;