Недавно я портировал одно из моих симуляций на Julia, и я обнаружил несколько ошибок типа только во время выполнения. Я хочу статически анализировать код Юлии. У MATLAB есть аналогичная проблема только при обнаружении многих ошибок во время выполнения.
Единственный инструмент, который я нашел (TypeCheck.jl), выполняет небольшое подмножество статического анализа, которое я ожидаю от компилятора.
Есть ли статический анализатор для сценариев Julia, поэтому я могу избежать многих из ошибок времени выполнения?
Есть ли что-то, что я мог бы использовать с компилятором LLVM JIT? (Я не знаю много о том, как компилируется Julia, а что есть и что не возможно)
Возможно ли это из-за характера Джулии?
