feat: add 0545-hard-printf

Author: coderhyy

type-challenges/0545-hard-printf/template.ts

@@ -0,0 +1,9 @@
+// 参考 https://github.com/type-challenges/type-challenges/issues/2112
+type CharToType = {
+  s: string;
+  d: number;
+};
+
+type Format<T extends string> = T extends `${infer F}%${infer Char}${infer L}`
+  ? (arg: Char extends keyof CharToType ? CharToType[Char] : never) => Format<L>
+  : string;

type-challenges/0545-hard-printf/test-cases.ts

@@ -0,0 +1,8 @@
+import type { Equal, Expect } from "@type-challenges/utils";
+
+type cases = [
+  Expect<Equal<Format<"abc">, string>>,
+  Expect<Equal<Format<"a%sbc">, (s1: string) => string>>,
+  Expect<Equal<Format<"a%dbc">, (d1: number) => string>>,
+  Expect<Equal<Format<"a%dbc%s">, (d1: number) => (s1: string) => string>>
+];