feat: add 2059-hard-drop-string

Author: coderhyy

type-challenges/2059-hard-drop-string/template.ts

@@ -0,0 +1,15 @@
+// 参考 https://github.com/type-challenges/type-challenges/issues/10004
+type MyStringToUnion<
+  T extends string,
+  U extends string = never
+> = T extends `${infer F}${infer Rest}` ? MyStringToUnion<Rest, U | F> : U;
+
+type DropString<
+  S extends string,
+  U extends string,
+  R extends string = ""
+> = S extends `${infer F}${infer Rest}`
+  ? F extends MyStringToUnion<U>
+    ? DropString<Rest, U, R>
+    : DropString<Rest, U, `${R}${F}`>
+  : R;

type-challenges/2059-hard-drop-string/test-cases.ts

@@ -0,0 +1,22 @@
+import type { Equal, Expect } from "@type-challenges/utils";
+
+type cases = [
+  Expect<Equal<DropString<"butter fly!", "">, "butter fly!">>,
+  Expect<Equal<DropString<"butter fly!", " ">, "butterfly!">>,
+  Expect<Equal<DropString<"butter fly!", "but">, "er fly!">>,
+  Expect<
+    Equal<DropString<" b u t t e r f l y ! ", "but">, "     e r f l y ! ">
+  >,
+  Expect<Equal<DropString<"    butter fly!        ", " ">, "butterfly!">>,
+  Expect<Equal<DropString<" b u t t e r f l y ! ", " ">, "butterfly!">>,
+  Expect<
+    Equal<DropString<" b u t t e r f l y ! ", "but">, "     e r f l y ! ">
+  >,
+  Expect<
+    Equal<DropString<" b u t t e r f l y ! ", "tub">, "     e r f l y ! ">
+  >,
+  Expect<
+    Equal<DropString<" b u t t e r f l y ! ", "b">, "  u t t e r f l y ! ">
+  >,
+  Expect<Equal<DropString<" b u t t e r f l y ! ", "t">, " b u   e r f l y ! ">>
+];