我最近将我的一个模拟移植到 Julia 中，我仅在运行时发现了几个类型错误。我希望静态分析我的 Julia 代码。 MATLAB 也有类似的问题，只在运行时发现很多错误。
我发现的唯一工具 ( TypeCheck.jl ) 执行我期望从编译器获得的静态分析的一小部分。
是否有针对 Julia 脚本的静态分析器，以便我可以避免许多现在的运行时错误？
有什么可以与 LLVM JIT 编译器一起使用的吗？ (我不太了解 Julia 编译的工作原理以及什么是可能的，什么是不可能的)
由于 Julia 的性质，这甚至可能吗？
最佳答案
我认为答案取决于您想要哪种运行时错误，因为 Julia 的编译时发生在大多数编译语言称为运行时的时间点。
如果您键入所有函数的输入并键入所有函数中的所有变量，您将能够在 Julia 的编译时遇到很多类型错误。
关于julia - 可以对 Julia (julia-lang) 代码进行静态分析以避免运行时类型错误吗？，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/23815356/