Microsoft's TypeScript offers a modified form of JavaScript that offers optional type checking and other features that make it easier to write large code bases without errors creeping in.