feat: add 0270-hard-typed-get

Author: coderhyy

type-challenges/0270-hard-typed-get/template.ts

@@ -0,0 +1,21 @@
+// 参考 https://github.com/type-challenges/type-challenges/issues/9654
+type Get<
+  T extends Record<string, any>,
+  K extends string
+> = K extends `${infer Key}.${infer Path}`
+  ? Get<T[Key], Path>
+  : K extends keyof T
+  ? T[K]
+  : never;
+
+// K extends keyof T 返回值
+// type cases = keyof {
+//   foo: {
+//     bar: {
+//       value: "foobar";
+//       count: 6;
+//     };
+//     included: true;
+//   };
+//   hello: "world";
+// };

type-challenges/0270-hard-typed-get/test-cases.ts

@@ -0,0 +1,20 @@
+import type { Equal, Expect } from "@type-challenges/utils";
+
+type cases = [
+  Expect<Equal<Get<Data, "hello">, "world">>,
+  Expect<Equal<Get<Data, "foo.bar.count">, 6>>,
+  Expect<Equal<Get<Data, "foo.bar">, { value: "foobar"; count: 6 }>>,
+
+  Expect<Equal<Get<Data, "no.existed">, never>>
+];
+
+type Data = {
+  foo: {
+    bar: {
+      value: "foobar";
+      count: 6;
+    };
+    included: true;
+  };
+  hello: "world";
+};