我最近将我的一个模拟移植到Julia,我只在运行时发现了几个类型错误.我希望静态分析我的Julia代码.MATLAB在运行时只发现许多错误也有类似的问题.
我找到的唯一工具(TypeCheck.jl)执行我希望从编译器中获得的静态分析的一小部分.
是否有用于Julia脚本的静态分析器,因此我可以避免许多现在的运行时错误？
我可以使用LLVM JIT编译器吗？(我不太了解Julia编译是如何工作的以及什么是不可能的)
由于朱莉娅的性质,这甚至可能吗？
我认为答案取决于您想要哪种类型的运行时错误，因为 Julia 的编译时发生在大多数编译语言调用运行时的时间点。
如果您键入所有函数的输入，并键入所有函数中的所有变量，那么您将能够在 Julia 编译时遇到很多类型错误。