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