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



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

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

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

有什么东西,我可以使用LLVM JIT编译器?(我不太了解Julia编译是如何工作的,什么是可能的,什么是不可能的)

由于Julia的本性,这可能吗?

我认为答案取决于你想要哪种类型的运行时错误,因为Julia的编译时发生在大多数编译语言称为运行时的时间点。

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

最新更新