Javascript 使用打字脚本

我们计划继续使用Angular 2并使用TypeScript，因为它有很多优点（可读性、可维护性等）。在读了一些关于它的博客后，我发现了下面的代码。（左-类型脚本和右-等效JS代码）

根据TypeScript的文档，我们发现它对变量进行编译时检查，如果类型不匹配，则会给出编译时错误

从上面的TS代码看下面的代码

var firstBadAlien = new BadAlien('DrDobbsBadAlien',0,5000,5);

如果我没有提供所需的参数的确切类型，应该会给我一个编译时错误，这很好

我有以下问题：

如果此代码在浏览器上动态运行，并且用户提供了错误类型的参数，会发生什么情况。这将无法检查类型，因为在为其生成的等效JS上没有类型检查

typescript是否只编译类型检查，或者是否有一种方法可以生成在运行时也会执行类型检查的JS？因此，假设我希望参数的类型为'number'，它可以添加JS代码来检查类似'isFinite（）'的类型

谢谢

如果此代码在浏览器上动态运行，并且用户提供了错误类型的参数，会发生什么情况。这将无法检查类型，因为在为其生成的等效JS上没有类型检查

假设您将使用TypeScript代码来调用您的TypeScript代码，而这将无法进行类型检查。其他任何东西都会通过。如果您以某种方式接受用户的

布尔值

，它将在运行时失败

typescript是否只编译类型检查，或者是否有一种方法可以生成在运行时也会执行类型检查的JS？因此，假设我希望参数的类型为'number'，它可以添加JS代码来检查类似'isFinite（）'的类型

还没有