HypeScript - TypeScript 타입 시스템의 간단한 구현체

• 런타임 코드 없이 TypeScript의 Type Annotation 으로 구현
• TypeScript 코드를 문자열로 TypeCheck 제네릭에 넘기면 타입 에러를 확인 가능
• 문법중 일부만 지원 (변수,함수,배열,객체,메소드,함수 리턴타입..)