HypeScript
lastmod 2022-08-02created 2022-08-021 edits
A simple implementation of the TypeScript type system
A simplified implementation of TypeScript's type system written in TypeScript's type system
Features
- Implemented with TypeScript Type Annotations, without any runtime code
- Pass TypeScript code as a string to the TypeCheck generic to see type errors
- Supports only part of the syntax (variables, functions, arrays, objects, methods, function return types..)