[typescript - 2.4] Return types as inference targets

추론 타겟으로써 타입을 반환한다? 유형을 어디에 둘 것인지 자유롭게 결정할 수 있다?

f는 함수. 이 함수는 T를 파라미터로 받고 U를 반환하는 함수 arrayMap은 T[]을 파라미터로 받고 U 배열을 반환하는 함수를 반환한다.

function arrayMap<T, U>(f: (x: T) => U): (a: T[]) => U[] {
    return a => a.map(f);
}

const lengths: (a: string[]) => number[] = arrayMap(s => s.length);

const lengths: (a: string[]) => number[] // 선언
 = arrayMap(s => s.length); // 값 할당.

// T는 string
// U는 number

씨발 안써!

typescript는 누가 먼저 해놓으면 짱! 미리 만들어 놓은 것은 괜춘다. 헤헤

let x: Promise<string> = new Promise(resolve => {
    resolve(10);
    //      ~~ Now correctly errors!
});

studye / typescript

[typescript - 2.4] Return types as inference targets #48