Type checking with TypeRunner

TypeRunner is a high-performance TypeScript compiler that allows for type checking without relying on traditional tools like tsc or JavaScript engines, enhancing speed by compiling TypeScript to bytecode and executing it in a custom virtual machine. This innovative approach allows TypeScript's type information to be utilized in other programming environments, independent of platforms like Node.js or Deno, thus promoting portability. As a proof-of-concept, TypeRunner currently supports a limited set of type expressions and lacks support for interfaces or classes. The project, developed by Marc J. Schmidt, aims to improve type-checking speed and extend TypeScript's type utility beyond JavaScript, though it is still in development and requires community backing for further progress. The article examines TypeRunner's potential use cases, its performance in comparison to Deno and tsc, and highlights its current limitations, such as the inability to handle import statements and Deno's global namespace. Despite its nascent stage, TypeRunner holds promise for revolutionizing type checking in non-JavaScript environments, and its future development is anticipated to rely on open-source contributions.