Microsoft Download Center Archive

Safer TypeScript

  • Published:
  • Version: 0.1
  • Category: other
  • Language: English

Safer TypeScript is an alternative type-checker and code generator for TypeScript that guarantees type-safety through a combination of static and dynamic checks. Last published: July 1, 2014.

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. This release is an early preview of Safer TypeScript with a non-commercial use license. We plan to make Safer TypeScript available under the same license as TypeScript (Apache v2) shortly. Although the download contains around 100,000 lines of sample code that type-checks, compiles and runs safely using Safer TypeScript (notably the compiler itself), documentation of the new features is still sparse. More samples and documentation will be made available in the coming weeks. To experiment with the compiler in your browser, visit http://research.microsoft.com/en-us/um/people/nswamy/Playground/TsSafe/. The in-browser version lags slightly behind the released code, but it should give you a flavor of how the compiler works.

Files

Status: Live

This download is still available on microsoft.com. The downloads below will come directly from the Microsoft Download Center.

System Requirements

Operating Systems: Windows 10, Windows 7, Windows 8

  • Windows 7, Windows 8, or Windows 10

Installation Instructions

  • Click Download and follow the instructions.
This page was generated from a snapshot of the Microsoft Download Center made on .
Report a problem