◆ ESSAY
exclude는 여러개의 타입이 함께 존재하는 유니언 타입에서 특정 타입을 제거하는 유틸리티 타입이다. exclude로 제거할 수 있는 것은 하나의 타입 부터 유니언 까지 가능하다.
type T0 = Exclude<'a' | 'b' | 'c', 'a'>
// type T0 = "b" | "c"
type T1 = Exclude<'a' | 'b' | 'c', 'a' | 'b'>
// type T1 = "c"
type T2 = Exclude<string | number | (() => void), Function>
// type T2 = string | number
exclude의 동작방식을 보면 다음과 같이 확인할 수 있다.
/**
* Exclude from T those types that are assignable to U
*/
type Exclude<T, U> = T extends U ? never : T
제네릭에서 사용되는 T extends U라는 키워드는 T가 U라는 타입인지 를 의미한다.
즉, 위 예시를 해석하면 다음과 같다.
T가U의 타입 이라면,never(빈 타입)을, 그렇지 않다면T그자체, 즉 원래대로 돌려준다
pick은 객체 타입에서, 넘겨받은 키에 해당하는 키만 리턴하는 새로운 객체 타입을 만들어준다.
interface Todo {
title: string
description: string
completed: boolean
}
type TodoPreview = Pick<Todo, 'title' | 'completed'>
const todo: TodoPreview = {
title: 'Clean room',
completed: false,
}
pick이 작동하기 위해서는, 먼저 객체에서 키를 뽑아서 해당 키를 제외해야 하므로, 객체 타입에서 키를 뽑는 법 부터 알아야 한다.
keyof Todo // "title" | "description" | "completed" | "createdAt"
그 다음, 이 키에 해당 하는 객체 타입의 값만 뽑아 오면 될 것이다.
type Pick<T, Key extends keyof T> = {
[NewKey in key]: T[key]
}
작동방식을 확인하면 거의 유사하다는 것을 알 수 있다.
omit 은 객체 타입 (interface 등)에서 특정 키를 기준으로 생략하여 타입을 내려주는 유틸리티 타입이다.
interface Todo {
title: string
description: string
completed: boolean
createdAt: number
}
// description을 제외
type TodoPreview = Omit<Todo, 'description'>
const todo: TodoPreview = {
title: 'Clean room',
completed: false,
createdAt: 1615544252770,
}
마찬가지로 키를 먼저 뽑아온다.
type TodoKeys = keyof Todo // "title" | "description" | "completed" | "createdAt"
그리고 이번에는 해당하는 값을 가져오는 것이 아니고, 제거를 해야한다. 여기서 부터 조금씩 복잡해지는데, 하나씩 해보자.
먼저 앞서 사용했던 Pick과 Exclude를 활용하여, TODO에서 title만 제거해보자.
type TodoWithoutTitle = Pick<Todo, Exclude<keyof Todo, 'title'>>
// type TodoWithoutTitle = {
// description: string;
// completed: boolean;
// createdAt: number;
// }
이를 깔끔하게 제네릭으로 정리하면 다음과 같다.
type Omit<T, K> = Pick<T, Exclude<keyof T, K>>
객체의 키로 string, number, symbol만 가능하기 때문에, 조금 아래와 같이 추가할 수도 있다.
type Omit<T, K extends keyof string | number | symbol> = Pick<
T,
Exclude<keyof T, K>
>
https://github.com/microsoft/TypeScript/blob/546a87fa31086d3323ba4843a634863debb75781/lib/lib.es5.d.ts#L1513-L1516 뭔가 저건 과하다고 생각한건지
any로 퉁쳤다.
interface Todo {
title: string
description: string
completed: boolean
createdAt: number
}
type TodoWithoutTitle = Omit<Todo, 'title'>
type TodoWithoutTitle = Pick<Todo, Exclude<keyof Todo, 'title'>>
type TodoWithoutTitle = Pick<
Todo,
Exclude<'title' | ' description' | 'completed' | 'createdAt', 'title'>
>
type TodoWithoutTitle = Pick<
Todo,
| ('title' extends 'title' ? never : 'title')
| ('description' extends 'title' ? never : 'description')
| ('completed' extends 'title' ? never : 'completed')
| ('createdAt' extends 'title' ? never : 'createdAt')
>
type TodoWithoutTitle = Pick<
Todo,
never | 'description' | 'completed' | 'createdAt'
>
type TodoWithoutTitle = {
[Key in 'description' | 'completed' | 'createdAt']: User[Key]
}
type TodoWithoutTitle = {
description: Todo['description']
completed: Todo['completed']
createdAt: Todo['createdAt']
}
type TodoWithoutTitle = {
description: string
completed: boolean
createdAt: number
}
pnpm lint가 12분 32초 걸리던 모노레포에 typescript 7.0.2를 넣어봤다. 타입체크는 조용히 지나갔는데 next build가 깨졌고, lint는 크래시했다. eslint와 prettier를 oxlint와 oxfmt로 갈아탄 하루의 연쇄 반응과 전후 실측 기록. 미리 말해두면, 빌드는 빨라지지 않았다.
Effect-TS가 대체 뭔데 다들 난리인지 직접 파헤쳐봤다.
never 타입을 활용한 exhaustive check 패턴
3년 전 RFC가 드디어 빛을 보다