Once again, TypeScript is a nice type checker for JavaScript, but the semantics of TypeScript are untyped.