Seondalgorithm

Generic Type Constraints https://typehero.dev/challenge/generic-type-constraints type AllowString = T; type AllowNumber = T; type CreateLogger void> = { log: T; exit: () => void; }; Index Signatures https://typehero.dev/challenge/index-signatures type GroceryList = {[item: string]: number}; type InappropriateActionBySituation = {[action: string]: Array}; type CharactersById = {[id: number]: {[pr..

문제 조건 `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

Intro Filtering was completely removed from the project. It turned out that this feature was just not needed for the end-user and we spent a lot of time just because our office manager told us to do so. Next time we should instead listen to the product management. Anyway we have a new plan. CEO's friend Nick told us that if we randomly swap user names from time to time in the community, it would..

문제 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..

Intro Filtering requirements have grown. We need to be able to filter any kind of Persons. 필터링 요구사항이 늘었습니다. 이제 Person의 모든 종류를 구분해야합니다. Exercise Fix typing for the filterPersons so that it can filter users and return User[] when personType='user' and return Admin[] when personType='admin'. Also filterPersons should accept partial User/Admin type according to the personType. `criteria` argument sh..

문제 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..

Intro Time to filter the data! In order to be flexible we filter users using a number of criteria and return only those matching all of the criteria. We don't need Admins yet, we only filter Users. 데이터를 선별할 차례입니다! 보다 유연해지기 위해 우리는 기준을 표시하는 숫자를 이용하여 유저들을 필터링하고, 오직 이 모든 기준에 맞는 유저들만 리턴해야합니다. 아직 Admin들은 필요하지 않고 User들만 필터링하면 됩니다. Exercise Without duplicating type structures, modify filterUsers functio..

문제 배열(튜플)을 받아 길이를 반환하는 제네릭 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..

Intro As we introduced "type" to both User and Admin it's now easier to distinguish between them. Once object type checking logic was extracted into separate functions isUser and isAdmin - logPerson function got new type errors. 유저와 어드민에 대해 type을 소개했듯이, 이제 이 둘을 구분하는건 쉬워졌습니다. 로직을 검사하는 객체 타입을 추출해서 isUser과 isAdmin 함수에 분리해서 넣었더니 logPerson 함수에 새로운 타입에러가 생겼습니다 Exercise Figure out how to help TypeScrip..

문제 배열(튜플) 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..