Typescript有什么冷門但是很好用的特性？

let defaultState = {    foo: 7,    bar: 'hello'};
type State = typeof defaultState;
let nextState: State = {    foo: 'seven',    bar: 'world'};// 不能將類型“{ foo: string; bar: string; }”分配給類型“{ foo: number; bar: string; }”。//   屬性“foo”的類型不兼容。//     不能將類型“string”分配給類型“number”。

function getState() {    return {        foo: 7,        bar: 'hello'    };}
type State = ReturnType<typeof getState>;
let nextState: State = {    foo: 'seven',    bar: 'world'};// 不能將類型“{ foo: string; bar: string; }”分配給類型“{ foo: number; bar: string; }”。//   屬性“foo”的類型不兼容。//     不能將類型“string”分配給類型“number”。

let defaultState = {    foo: 7,    bar: 'hello'};
type PartialState = Partial<typeof defaultState>;
let partialState: PartialState = {    foo: 8};

let defaultState = {    foo: 7,    bar: 'hello'};
type PickedState = Pick<typeof defaultState, 'foo'>;
let partialState: PickedState = {    foo: 8,    bar: 'world'};// 不能將類型“{ foo: number; bar: string; }”分配給類型“Pick<{ foo: number; bar: string; }, "foo">”。//   對(duì)象文字可以只指定已知屬性，并且“bar”不在類型“Pick<{ foo: number; bar: string; }, "foo">”中。

type Readonly<T> = {    readonly [P in keyof T]: T[P];}
type Partial<T> = {    [P in keyof T]?: T[P];}
type Nullable<T> = {  [P in keyof T]: T[P] | null;}
type Proxy<T> = {    get(): T;    set(value: T): void;}
type Pick<T, K extends keyof T> = {    [P in K]: T[P];}
type Record<K extends string, T> = {    [P in K]: T;}