Omit

In this medium-level challenge, you'll implement the built-in Omit<t, k> generic without using it.

You'll learn about union type manipulation, essential skills for advanced TypeScript development and type-level programming.

interface Todo {
title: string
description: string
completed: boolean
}
 
type TodoPreview = MyOmit<Todo, 'description' | 'title'>
 
const todo: TodoPreview = {
completed: false,
}

Detailed Explanation

To omit properties from a type, we combine Pick and Exclude:

type MyOmit<T, K extends keyof any> = Pick<T, Exclude<keyof T, K>>

How it works:

• Exclude<keyof T, K> gets all keys of T except those in K
• Pick creates a new type with only those remaining keys

To make it work without any built-in utility types, we need to use the keyof operator to get the keys of the type T and the Exclude operator to exclude the keys in K.

type MyOmit<T, K extends keyof T> = {
  [P in keyof T as P extends K ? never : P]: T[P]
}

How it works:

• [P in keyof T as P extends K ? never : P] iterates over each key in T
• P extends K ? never : P checks if the key is in K
• T[P] gets the type of property P from the original type T, but only for the keys that are NOT in K

This challenge helps you understand union type manipulation and how to apply this concept in real-world scenarios.