Safer TypeScript is an alternative type-checker and code generator for TypeScript that guarantees type-safety through a combination of static and dynamic checks. Its implementation is fully integrated within the TypeScript-0.9.5 compiler—programmers can opt in to Safer TypeScript simply by providing a flag to the compiler. Like TypeScript, the code generated by Safer TypeScript is standard JavaScript and runs on stock virtual machines.