Copilot is your AI companion
Always by your side, ready to support you whenever and wherever you need it.
Safer TypeScript
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.
Important! Selecting a language below will dynamically change the complete page content to that language.
Version:
0.1
Date Published:
7/15/2024
File Name:
SaferTypeScript-0.1.zip
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 Systems
Windows 10, Windows 7, Windows 8
- Windows 7, Windows 8, or Windows 10
- Click Download and follow the instructions.
Follow Microsoft