프로그래밍/자바스크립트, 타입스크립트