Javascript 有长生不老药的打字稿吗?

Javascript 有长生不老药的打字稿吗?,javascript,typescript,elixir,Javascript,Typescript,Elixir,因为TypeScript是Javascript的超集,使开发人员能够定义类型,这些类型可以在编译时进行检查 Elixir是否有一个打字脚本,它也是一种动态语言 Elixir的超集,可以在编译时进行类型检查?在Elixir中有,但恐怕在编译阶段并没有工具可以执行类型检查。然而,有第三方,众所周知的和常用的工具-透析器(用于Erlang),这使得在Elixir项目中使用透析器更容易。它使用提供的TypeSpec分析代码 请看一看视频,因为它在这方面提供了很好的解释(不仅是如何使用透析器,如何理解错误

因为TypeScript是Javascript的超集,使开发人员能够定义类型,这些类型可以在编译时进行检查

Elixir是否有一个打字脚本,它也是一种动态语言

Elixir的超集,可以在编译时进行类型检查?

在Elixir中有,但恐怕在编译阶段并没有工具可以执行类型检查。然而,有第三方,众所周知的和常用的工具-透析器(用于Erlang),这使得在Elixir项目中使用透析器更容易。它使用提供的TypeSpec分析代码

请看一看视频,因为它在这方面提供了很好的解释(不仅是如何使用透析器,如何理解错误消息,而且如何注释您的功能等)

有关Elixir中的TypeSpec的更多信息,请查看官方页面

希望有帮助

有一个。它允许您定义自定义类型并指定预期的函数输入和输出类型。它没有Haskell的类型系统那么强大,但它可以帮助您围绕代码构建一些安全网。但是不能声明单个变量的类型,以便在编译时检查它们

是第三方静态分析工具,可用于检查代码的正确性。除了类型错误,它还检查无法访问的代码和不必要的测试。有一本易懂的关于透析器的书,在《学习Erlang》一书中,所以如果你感兴趣的话,我建议你去看看