HypeScript
TypeScript 타입 시스템의 간단한 구현체
A simplified implementation of TypeScript's type system written in TypeScript's type system
Features
- 런타임 코드 없이 TypeScript의 Type Annotation 으로 구현
- TypeScript 코드를 문자열로 TypeCheck 제네릭에 넘기면 타입 에러를 확인 가능
- 문법중 일부만 지원 (변수,함수,배열,객체,메소드,함수 리턴타입..)