ts - flat

TypeScript/22.10.26 flat.md

@@ -0,0 +1,34 @@
+### flat()
+
+```ts
+const a = [1, 2, 3, [1, 2], [[1], [2]]].flat();
+// [1, 2, 3, 1, 2, [1], [2]]
+// a: (number | number[])[]
+```
+
+flat()의 타이핑은 결과값의 dimension을 정확히 추론하고 있는데 타이핑된 방법을 알아보자
+
+```ts
+flat<A, D extends number = 1>(
+    this: A,
+    depth?: D
+): FlatArray<A, D>[]
+
+type FlatArray<Arr, Depth extends number> = {
+    "done": Arr,
+    "recur": Arr extends ReadonlyArray<infer InnerArr>
+        ? FlatArray<InnerArr, [-1, 0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10 , 11, 12, 13, 14, 15, 16, 17, 18, 19, 20]>[Depth]
+        : Arr
+}[Depth extends -1 ? 'done' : 'recur'];
+```
+
+```ts
+const test = [1, 2, 3, [1, 2], [[1], [2]]].flat(2);
+// FlatArray<number | number[] | number[][][], 2>
+// [Depth extends -1 ? 'done' : 'recur']; 에서 Depth는 2이므로 'recur'로
+// ReadonlyArray에서의 원소들을 추론하여
+// FlatArray<number | number[] | number[][], 1>
+// FlatArray<number | number[], 0>
+// number (done)
+// number[]
+```