isReadonly.ts

// Конкурс на выходные - нужно придумать способ написать такой тип:

type Equals<A, B> = 
  (<T>() => T extends A ? 1 : 2) extends (<T>() => T extends B ? 1 : 2)
    ? true 
    : false;

type ReadOnlyObj<T, K extends keyof T> = {
  readonly [P in K]: T[K]
}

type IsReadonly<T, K extends keyof T> =  Equals<ReadOnlyObj<T, K>, {[P in K]: T[K]}> extends true ? 'readonly' : 'writable';

// чтобы 

interface Foo {
  bar: string;
  readonly baz: string;
}

type A = IsReadonly<Foo, 'bar'>; // 'writable'


type B = IsReadonly<Foo, 'baz'>; // 'readonly'