gpt4 book ai didi

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

转载 作者:行者123 更新时间:2023-12-03 22:39:30 30 4
gpt4 key购买 nike

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

我发现的唯一工具 ( TypeCheck.jl ) 执行我期望从编译器获得的静态分析的一小部分。

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

有什么可以与 LLVM JIT 编译器一起使用的吗? (我不太了解 Julia 编译的工作原理以及什么是可能的,什么是不可能的)

由于 Julia 的性质,这甚至可能吗?

最佳答案

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

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

关于julia - 可以对 Julia (julia-lang) 代码进行静态分析以避免运行时类型错误吗?,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/23815356/

30 4 0
Copyright 2021 - 2024 cfsdn All Rights Reserved 蜀ICP备2022000587号
广告合作:1813099741@qq.com 6ren.com