25. 비동기 코드에는 콜백 대신 async 함수 사용하기

• TS 컴파일러는 async/await가 동작하도록 변환함.
• TS는 런타임에 관계없이 async/await를 사용할수 있음.
• async await를 사용한 비동기함수의 반환타입은 Promise<T>로 추론되어 안정성이 높아진다.

// function getNumber(): Promise<number>
async function getNumber() {
  return 42;
}

const getNumber = async () => 42;  
// Type is () => Promise<number>

const getNumber = () => Promise.resolve(42);  // Type is () => Promise<number>

//Do this
const _cache: {[url: string]: string} = {};
async function fetchWithCache(url: string) {
  if (url in _cache) {
    return _cache[url];
  }
  const response = await fetch(url);
  const text = await response.text();
  _cache[url] = text;
  return text;
}

let requestStatus: 'loading' | 'success' | 'error';
async function getUser(userId: string) {
  requestStatus = 'loading';
  const profile = await fetchWithCache(`/user/${userId}`);
  requestStatus = 'success';
}

• 타입 구문이 없어도 반환타입이 Promise<Response>로 추론되기 때문에 사용에 용이
• 콜백지옥보다 간결한 코드.

26.타입 추론에 문맥이 어떻게 사용되는지 이해하기

• ts는 타입추론할때 단순히 값만 고려하지 않고 문맥까지 살핀다고함.
• 그래서 가끔 이상한 추론을함.

타입 추론에서 문맥이 어떻게 쓰이는지 주의하자 (상수로 쓰는지, 변수로 뽑아서 쓰는지)

얕은참조인지, 깊은참조인지 잘보고, 오류가 발생하면 타입선언을 추가해라

상수 단언을 사용하면 정의한 곳이 아니라 사용한 곳에서 오류가 뜨므로 주의해라

type Language = 'JavaScript' | 'TypeScript' | 'Python';

function setLanguage(language: Language) {}
function panTo(where: [number, number]) {}

panTo([10, 20]);  // OK

const loc = [10, 20]; //number[] 로 추론해버림
panTo(loc);
//    ~~~ Argument of type 'number[]' is not assignable to
//        parameter of type '[number, number]'

//이럴땐 
const loc = [10, 20] as const // readonly[10,20] 이라고 추론해버린다.

//그러므로 최선은 panTo에 where시그니처에 readonly [number,number]라고 해주는 수밖에 없다. 
function panTo(where: readonly [number, number]) { /* ... */ }
const loc = [10, 20, 30] as const;  // 에러남
panTo(loc);

1. as 단언문 을 사용하기
2. 타입선언문을 추가하기 (const pt : Point = { ...})

• 객체사용시 주의점

type language = 'JS'|'TS'
interface gLanguage {
	language: language
	organization : string
}

function complain(lan : gLanguage) {}

일때
const ts = {
	language: 'TS' //
	organization: 'MS'
}

complain(ts) 는 에러
// ts에서 language: string으로 추론되기 때문에