可以对Julia(julia-lang)代码进行静态分析以避免运行时类型错误吗?

时间:2014-05-22 19:13:36

标签: julia

我最近将我的一个模拟移植到Julia,我在运行时发现了几个类型错误 。我希望静态分析我的Julia代码。 MATLAB在运行时只发现许多错误也存在类似的问题。

我找到的唯一工具(TypeCheck.jl)执行我希望从编译器中获得的静态分析的一小部分。

是否有针对Julia脚本的静态分析器,因此我可以避免许多现在的运行时错误?

我可以使用LLVM JIT编译器吗? (我不太了解Julia编译是如何工作的以及什么是可能的和不可能的)

由于朱莉娅的性质,这甚至可能吗?

1 个答案:

答案 0 :(得分:4)

我认为答案取决于您想要的运行时错误,因为Julia的编译时间发生在大多数编译语言调用运行时的时间点。

如果您键入所有函数的输入并在所有函数中键入所有变量,那么您将能够在Julia的编译时获得大量类型错误。