기존에 정의되어 있던 타입을 새로운 타입으로 변환시켜주는 문법을 의미한다.
{[P in K]: T} {[P in K]? : T}
type Heroes = 'Hulk' | 'Capt' | 'Thor'; type HeroAges = { [K in Heroes] : number}; //for...in 과 유사하다. const ages: HeroAges = { Hulk: 33, Capt: 100, Thor: 1100 }