Seondalgorithm

문제 조건 `C`, 참일 때 반환하는 타입 `T`, 거짓일 때 반환하는 타입 `F`를 받는 타입 `If`를 구현하세요. `C`는 `true` 또는 `false`이고, `T`와 `F`는 아무 타입입니다. 예시: type A = If // expected to be 'a' type B = If // expected to be 'b' 풀이 type If = C extends true ? T : F type에서 extends가 등호 두개 == 에 해당한다고 보면 편할 것 같다 출처 https://github.com/type-challenges/type-challenges/blob/main/questions/00268-easy-if/README.ko.md

문제 Promise와 같은 타입에 감싸인 타입이 있을 때, 안에 감싸인 타입이 무엇인지 어떻게 알 수 있을까요? 예시: 들어 Promise이 있을 때, ExampleType을 어떻게 얻을 수 있을까요? type ExampleType = Promise type Result = MyAwaited // string 풀이 type MyAwaited = T extends PromiseLike ? MyAwaited : T; Array vs ArrayLike, Promise vs PromiseLike 타입스크립트에는 ArrayLike라는게 존재한다. Array는 일반적인 배열을 의미하는데, ArrayLike는 무엇일까? 이를 알아보기 위해 lib.es5.d.ts에 가서 각각의 스펙을 살펴보자. Array ArrayL..

문제 T에서 U에 할당할 수 있는 타입을 제외하는 내장 제네릭 Exclude를 이를 사용하지 않고 구현하세요. type Result = MyExclude // 'b' | 'c' 풀이 타입이 아닌 단순 문제였다고 생각해보자 function MyExclude(T, U) { if(T === U) return; else return T; } 이런 느낌이다. T에 해당하는 타입들중 U와 같은 타입이 있다면 그건 반환하지 않고, 같지 않다면 반환하는 로직이다. 타입스크립트에서 ===에 해당하는 부분은 extends로 대체 가능하고 아무것도 반환하지 않는 경우는 never 이라는 타입으로 쓸 수 있겠다. type MyExclude = T extends U ? never : T; 출처 https://github.com..

문제 배열(튜플)을 받아 길이를 반환하는 제네릭 Length를 구현하세요. type tesla = ['tesla', 'model 3', 'model X', 'model Y'] type spaceX = ['FALCON 9', 'FALCON HEAVY', 'DRAGON', 'STARSHIP', 'HUMAN SPACEFLIGHT'] type teslaLength = Length // expected 4 type spaceXLength = Length // expected 5 풀이 type Length = T['length']; 간단하게 이렇게 표현했더니 Type 'readonly ["tesla", "model 3", "model X", "model Y"]' does not satisfy the constrai..

문제 배열(튜플) T를 받아 첫 원소의 타입을 반환하는 제네릭 First를 구현하세요. type arr1 = ['a', 'b', 'c'] type arr2 = [3, 2, 1] type head1 = First // expected to be 'a' type head2 = First // expected to be 3 풀이 비교적 간단한 문제라서 T[0]을 반환하도록 했는데, 그랬더니 []인경우 never에 대한 케이스에 걸려서 분기처리를 진행해줬다 type First = T extends [] ? never : T[0]; 출처 https://github.com/type-challenges/type-challenges/blob/main/questions/00014-easy-first/README.ko.m..

문제 배열(튜플)을 받아, 각 원소의 값을 key/value로 갖는 오브젝트 타입을 반환하는 타입을 구현하세요. 예시 const tuple = ['tesla', 'model 3', 'model X', 'model Y'] as const type result = TupleToObject // expected { tesla: 'tesla', 'model 3': 'model 3', 'model X': 'model X', 'model Y': 'model Y'} 풀이 객체의 키도, 값도 T배열의 요소기 때문에 키값 kv가 T[number]에 속해있고 이 것이 키인 동시에 값이라고 명시해주면 해결된다. 이때 T는 string 또는 number 가 포함된 배열이라는 점도 명시해준다. type TupleToObject..

문제 T의 모든 프로퍼티를 읽기 전용(재할당 불가)으로 바꾸는 내장 제네릭 Readonly를 이를 사용하지 않고 구현하세요. 예시: interface Todo { title: string description: string } const todo: MyReadonly = { title: "Hey", description: "foobar" } todo.title = "Hello" // Error: cannot reassign a readonly property todo.description = "barFoo" // Error: cannot reassign a readonly property 풀이 type MyReadonly = {readonly [key in keyof T]: T[key]} 출처 https..

문제 T에서 K 프로퍼티만 선택해 새로운 오브젝트 타입을 만드는 내장 제네릭 Pick을 이를 사용하지 않고 구현하세요. 예시: interface Todo { title: string description: string completed: boolean } type TodoPreview = MyPick const todo: TodoPreview = { title: 'Clean room', completed: false, } 풀이 type MyPick = {[key in K]: T[key]}; 출처 https://github.com/type-challenges/type-challenges/blob/main/questions/00004-easy-pick/README.ko.md GitHub - type-chal..

문제 Hello, World! Type Challenges에서는 타입 단언(assertion)을 하기 위해 자체적인 타입 시스템을 사용합니다. 이 과제에서는, 아래의 코드를 변경해서 테스트 코드를 통과하세요. (타입 체크 에러 없음). // string이 되어야 합니다. type HelloWorld = any // 아래의 테스트가 통과하도록 만드세요. type test = Expect Take the Challenge 버튼을 클릭해서 코딩을 시작하세요! Happy Hacking! 풀이 /* _____________ 여기에 코드 입력 _____________ */ type HelloWorld = string // expected to be a string /* _____________ 테스트 케이스 ___..