Safer TypeScript

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.
  • Version:

    0.1

    File Name:

    SaferTypeScript-0.1.zip

    Date Published:

    5/12/2016

    File Size:

    76.8 MB

      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.
  • Supported Operating System

    Windows 10 , Windows 7, Windows 8

      • Windows 7, Windows 8, or Windows 10
      • Click Download and follow the instructions.
Site feedback
Microsoft

What category would you like to give web site feedback on?



Rate your level of satisfaction with this web page today:

Comments:

Submit