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,
}

// Video Solution: https://youtube.com/watch?v=ojagklq8aas

/* _____________ Your Code Here _____________ */

type MyOmit<T, K> = any

/* _____________ Test Cases _____________ */
import type { Equal, Expect } from '../helpers'

type cases = [
  Expect<Equal<Expected1, MyOmit<Todo, 'description'>>>,
  Expect<Equal<Expected2, MyOmit<Todo, 'description' | 'completed'>>>,
  Expect<Equal<Expected3, MyOmit<Todo1, 'description' | 'completed'>>>,
]

// @ts-expect-error
type error = MyOmit<Todo, 'description' | 'invalid'>

interface Todo {
  title: string
  description: string
  completed: boolean
}

Detailed Explanation

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

[object Object]

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.