[3주차] challenges(easy)

Author: bgyoons

백윤서/practice/11.ts

@@ -0,0 +1,52 @@
+/*
+  11 - Tuple to Object
+  -------
+  by sinoon (@sinoon) #쉬움 #object-keys
+
+  ### 질문
+
+  배열(튜플)을 받아, 각 원소의 값을 key/value로 갖는 오브젝트 타입을 반환하는 타입을 구현하세요.
+
+  예시:
+
+  ```ts
+  const tuple = ['tesla', 'model 3', 'model X', 'model Y'] as const
+
+  type result = TupleToObject<typeof tuple> // expected { tesla: 'tesla', 'model 3': 'model 3', 'model X': 'model X', 'model Y': 'model Y'}
+  ```
+
+  > GitHub에서 보기: https://tsch.js.org/11/ko
+*/
+
+/* _____________ 여기에 코드 입력 _____________ */
+
+type TupleToObject<T extends readonly PropertyKey[]> = {
+  [key in T[number]]: key;
+}
+
+/* _____________ 테스트 케이스 _____________ */
+import type { Equal, Expect } from '@type-challenges/utils'
+
+const tuple = ['tesla', 'model 3', 'model X', 'model Y'] as const
+const tupleNumber = [1, 2, 3, 4] as const
+const sym1 = Symbol(1)
+const sym2 = Symbol(2)
+const tupleSymbol = [sym1, sym2] as const
+const tupleMix = [1, '2', 3, '4', sym1] as const
+
+type cases = [
+  Expect<Equal<TupleToObject<typeof tuple>, { tesla: 'tesla'; 'model 3': 'model 3'; 'model X': 'model X'; 'model Y': 'model Y' }>>,
+  Expect<Equal<TupleToObject<typeof tupleNumber>, { 1: 1; 2: 2; 3: 3; 4: 4 }>>,
+  Expect<Equal<TupleToObject<typeof tupleSymbol>, { [sym1]: typeof sym1;[sym2]: typeof sym2 }>>,
+  Expect<Equal<TupleToObject<typeof tupleMix>, { 1: 1; '2': '2'; 3: 3; '4': '4';[sym1]: typeof sym1 }>>,
+]
+
+// @ts-expect-error
+type error = TupleToObject<[[1, 2], {}]>
+
+/* _____________ 다음 단계 _____________ */
+/*
+  > 정답 공유하기: https://tsch.js.org/11/answer/ko
+  > 정답 보기: https://tsch.js.org/11/solutions
+  > 다른 문제들: https://tsch.js.org/ko
+*/

백윤서/practice/13.ts

@@ -0,0 +1,46 @@
+/*
+  13 - Hello World
+  -------
+  by Anthony Fu (@antfu) #워밍업
+
+  ### 질문
+
+  Hello, World!
+
+  Type Challenges에서는 타입 단언(assertion)을 하기 위해 자체적인 타입 시스템을 사용합니다.
+
+  이 과제에서는, 아래의 코드를 변경해서 테스트 코드를 통과하세요. (타입 체크 에러 없음).
+
+  ```ts
+  // string이 되어야 합니다.
+  type HelloWorld = any
+  ```
+
+  ```ts
+  // 아래의 테스트가 통과하도록 만드세요.
+  type test = Expect<Equal<HelloWorld, string>>
+  ```
+
+  `Take the Challenge` 버튼을 클릭해서 코딩을 시작하세요! Happy Hacking!
+
+  > GitHub에서 보기: https://tsch.js.org/13/ko
+*/
+
+/* _____________ 여기에 코드 입력 _____________ */
+
+type HelloWorld = string // expected to be a string
+
+/* _____________ 테스트 케이스 _____________ */
+import type { Equal, Expect, NotAny } from '@type-challenges/utils'
+
+type cases = [
+  Expect<NotAny<HelloWorld>>,
+  Expect<Equal<HelloWorld, string>>,
+]
+
+/* _____________ 다음 단계 _____________ */
+/*
+  > 정답 공유하기: https://tsch.js.org/13/answer/ko
+  > 정답 보기: https://tsch.js.org/13/solutions
+  > 다른 문제들: https://tsch.js.org/ko
+*/

백윤서/practice/14.ts

@@ -0,0 +1,49 @@
+/*
+  14 - First of Array
+  -------
+  by Anthony Fu (@antfu) #쉬움 #array
+
+  ### 질문
+
+  배열(튜플) `T`를 받아 첫 원소의 타입을 반환하는 제네릭 `First<T>`를 구현하세요.
+
+  예시:
+
+  ```ts
+  type arr1 = ['a', 'b', 'c']
+  type arr2 = [3, 2, 1]
+
+  type head1 = First<arr1> // expected to be 'a'
+  type head2 = First<arr2> // expected to be 3
+  ```
+
+  > GitHub에서 보기: https://tsch.js.org/14/ko
+*/
+
+/* _____________ 여기에 코드 입력 _____________ */
+
+type First<T extends any[]> = T extends [] ? never : T[0]
+
+/* _____________ 테스트 케이스 _____________ */
+import type { Equal, Expect } from '@type-challenges/utils'
+
+type cases = [
+  Expect<Equal<First<[3, 2, 1]>, 3>>,
+  Expect<Equal<First<[() => 123, { a: string }]>, () => 123>>,
+  Expect<Equal<First<[]>, never>>,
+  Expect<Equal<First<[undefined]>, undefined>>,
+]
+
+type errors = [
+  // @ts-expect-error
+  First<'notArray'>,
+  // @ts-expect-error
+  First<{ 0: 'arrayLike' }>,
+]
+
+/* _____________ 다음 단계 _____________ */
+/*
+  > 정답 공유하기: https://tsch.js.org/14/answer/ko
+  > 정답 보기: https://tsch.js.org/14/solutions
+  > 다른 문제들: https://tsch.js.org/ko
+*/

백윤서/practice/18.ts

@@ -0,0 +1,47 @@
+/*
+  18 - Length of Tuple
+  -------
+  by sinoon (@sinoon) #쉬움 #tuple
+
+  ### 질문
+
+  배열(튜플)을 받아 길이를 반환하는 제네릭 `Length<T>`를 구현하세요.
+
+  예시:
+
+  ```ts
+  type tesla = ['tesla', 'model 3', 'model X', 'model Y']
+  type spaceX = ['FALCON 9', 'FALCON HEAVY', 'DRAGON', 'STARSHIP', 'HUMAN SPACEFLIGHT']
+
+  type teslaLength = Length<tesla>  // expected 4
+  type spaceXLength = Length<spaceX> // expected 5
+  ```
+
+  > GitHub에서 보기: https://tsch.js.org/18/ko
+*/
+
+/* _____________ 여기에 코드 입력 _____________ */
+
+type Length<T extends readonly any[]> = T['length']
+
+/* _____________ 테스트 케이스 _____________ */
+import type { Equal, Expect } from '@type-challenges/utils'
+
+const tesla = ['tesla', 'model 3', 'model X', 'model Y'] as const
+const spaceX = ['FALCON 9', 'FALCON HEAVY', 'DRAGON', 'STARSHIP', 'HUMAN SPACEFLIGHT'] as const
+
+type cases = [
+  Expect<Equal<Length<typeof tesla>, 4>>,
+  Expect<Equal<Length<typeof spaceX>, 5>>,
+  // @ts-expect-error
+  Length<5>,
+  // @ts-expect-error
+  Length<'hello world'>,
+]
+
+/* _____________ 다음 단계 _____________ */
+/*
+  > 정답 공유하기: https://tsch.js.org/18/answer/ko
+  > 정답 보기: https://tsch.js.org/18/solutions
+  > 다른 문제들: https://tsch.js.org/ko
+*/

백윤서/practice/268.ts

@@ -0,0 +1,40 @@
+/*
+  268 - If
+  -------
+  by Pavel Glushkov (@pashutk) #쉬움 #utils
+
+  ### 질문
+
+  조건 `C`, 참일 때 반환하는 타입 `T`, 거짓일 때 반환하는 타입 `F`를 받는 타입 `If`를 구현하세요. `C`는 `true` 또는 `false`이고, `T`와 `F`는 아무 타입입니다.
+
+  예시:
+
+  ```ts
+  type A = If<true, 'a', 'b'>  // expected to be 'a'
+  type B = If<false, 'a', 'b'> // expected to be 'b'
+  ```
+
+  > GitHub에서 보기: https://tsch.js.org/268/ko
+*/
+
+/* _____________ 여기에 코드 입력 _____________ */
+
+type If<C extends boolean, T, F> = C extends true ? T : F
+
+/* _____________ 테스트 케이스 _____________ */
+import type { Equal, Expect } from '@type-challenges/utils'
+
+type cases = [
+  Expect<Equal<If<true, 'a', 'b'>, 'a'>>,
+  Expect<Equal<If<false, 'a', 2>, 2>>,
+]
+
+// @ts-expect-error
+type error = If<null, 'a', 'b'>
+
+/* _____________ 다음 단계 _____________ */
+/*
+  > 정답 공유하기: https://tsch.js.org/268/answer/ko
+  > 정답 보기: https://tsch.js.org/268/solutions
+  > 다른 문제들: https://tsch.js.org/ko
+*/

백윤서/practice/3057.ts

@@ -0,0 +1,37 @@
+/*
+  3057 - Push
+  -------
+  by jiangshan (@jiangshanmeta) #쉬움 #array
+
+  ### 질문
+
+  `Array.push`의 제네릭 버전을 구현하세요.
+
+  예시:
+
+  ```typescript
+  type Result = Push<[1, 2], '3'> // [1, 2, '3']
+  ```
+
+  > GitHub에서 보기: https://tsch.js.org/3057/ko
+*/
+
+/* _____________ 여기에 코드 입력 _____________ */
+
+type Push<T extends unknown[], U> = [...T, U]
+
+/* _____________ 테스트 케이스 _____________ */
+import type { Equal, Expect } from '@type-challenges/utils'
+
+type cases = [
+  Expect<Equal<Push<[], 1>, [1]>>,
+  Expect<Equal<Push<[1, 2], '3'>, [1, 2, '3']>>,
+  Expect<Equal<Push<['1', 2, '3'], boolean>, ['1', 2, '3', boolean]>>,
+]
+
+/* _____________ 다음 단계 _____________ */
+/*
+  > 정답 공유하기: https://tsch.js.org/3057/answer/ko
+  > 정답 보기: https://tsch.js.org/3057/solutions
+  > 다른 문제들: https://tsch.js.org/ko
+*/

백윤서/practice/3060.ts

@@ -0,0 +1,37 @@
+/*
+  3060 - Unshift
+  -------
+  by jiangshan (@jiangshanmeta) #쉬움 #array
+
+  ### 질문
+
+  `Array.unshift`의 타입 버전을 구현하세요.
+
+  예시:
+
+  ```typescript
+  type Result = Unshift<[1, 2], 0> // [0, 1, 2,]
+  ```
+
+  > GitHub에서 보기: https://tsch.js.org/3060/ko
+*/
+
+/* _____________ 여기에 코드 입력 _____________ */
+
+type Unshift<T extends unknown[], U> = [U, ...T]
+
+/* _____________ 테스트 케이스 _____________ */
+import type { Equal, Expect } from '@type-challenges/utils'
+
+type cases = [
+  Expect<Equal<Unshift<[], 1>, [1]>>,
+  Expect<Equal<Unshift<[1, 2], 0>, [0, 1, 2]>>,
+  Expect<Equal<Unshift<['1', 2, '3'], boolean>, [boolean, '1', 2, '3']>>,
+]
+
+/* _____________ 다음 단계 _____________ */
+/*
+  > 정답 공유하기: https://tsch.js.org/3060/answer/ko
+  > 정답 보기: https://tsch.js.org/3060/solutions
+  > 다른 문제들: https://tsch.js.org/ko
+*/

백윤서/practice/3312.ts

@@ -0,0 +1,43 @@
+/*
+  3312 - Parameters
+  -------
+  by midorizemi (@midorizemi) #쉬움 #infer #tuple #built-in
+
+  ### 질문
+
+  내장 제네릭 `Parameters<T>`를 이를 사용하지 않고 구현하세요.
+
+  예시:
+
+  ```ts
+  const foo = (arg1: string, arg2: number): void => {}
+
+  type FunctionParamsType = MyParameters<typeof foo> // [arg1: string, arg2: number]
+  ```
+
+  > GitHub에서 보기: https://tsch.js.org/3312/ko
+*/
+
+/* _____________ 여기에 코드 입력 _____________ */
+
+type MyParameters<T extends (...args: any[]) => any> = T extends (...args: infer R) => unknown ? R : unknown;
+
+/* _____________ 테스트 케이스 _____________ */
+import type { Equal, Expect } from '@type-challenges/utils'
+
+const foo = (arg1: string, arg2: number): void => { }
+const bar = (arg1: boolean, arg2: { a: 'A' }): void => { }
+const baz = (): void => { }
+
+type cases = [
+  Expect<Equal<MyParameters<typeof foo>, [string, number]>>,
+  Expect<Equal<MyParameters<typeof bar>, [boolean, { a: 'A' }]>>,
+  Expect<Equal<MyParameters<typeof baz>, []>>,
+]
+
+/* _____________ 다음 단계 _____________ */
+/*
+  > 정답 공유하기: https://tsch.js.org/3312/answer/ko
+  > 정답 보기: https://tsch.js.org/3312/solutions
+  > 다른 문제들: https://tsch.js.org/ko
+*/