feat: add 8804-hard-two-sum

Author: coderhyy

type-challenges/8804-hard-two-sum/template.ts

@@ -0,0 +1,23 @@
+// 参考 https://github.com/type-challenges/type-challenges/issues/9664
+type ToArray<
+  T extends number,
+  Rest extends number[] = []
+> = Rest["length"] extends T ? Rest : ToArray<T, [...Rest, 1]>;
+
+type MyDiff<S extends number, N extends number> = ToArray<S> extends [
+  ...ToArray<N>,
+  ...infer R
+]
+  ? R["length"]
+  : -1;
+
+type TwoSum<T extends number[], U extends number> = T extends [
+  infer F,
+  ...infer R
+]
+  ? MyDiff<U, F & number> extends R[number]
+    ? true
+    : R extends number[]
+    ? TwoSum<R, U>
+    : false
+  : false;

type-challenges/8804-hard-two-sum/test-cases.ts

@@ -0,0 +1,15 @@
+import type { Equal, Expect } from "@type-challenges/utils";
+
+type cases = [
+  Expect<Equal<TwoSum<[3, 3], 6>, true>>,
+  Expect<Equal<TwoSum<[3, 2, 4], 6>, true>>,
+  Expect<Equal<TwoSum<[2, 7, 11, 15], 15>, false>>,
+  Expect<Equal<TwoSum<[2, 7, 11, 15], 9>, true>>,
+  Expect<Equal<TwoSum<[1, 2, 3], 0>, false>>,
+  Expect<Equal<TwoSum<[1, 2, 3], 1>, false>>,
+  Expect<Equal<TwoSum<[1, 2, 3], 2>, false>>,
+  Expect<Equal<TwoSum<[1, 2, 3], 3>, true>>,
+  Expect<Equal<TwoSum<[1, 2, 3], 4>, true>>,
+  Expect<Equal<TwoSum<[1, 2, 3], 5>, true>>,
+  Expect<Equal<TwoSum<[1, 2, 3], 6>, false>>
+];