4 ms·
Julia is a dynamic language, I don't think having the rigor of a compiled language (probably the most rigorous out there) is a reasonable expectation. It would
by bocckoka 6y ago
Julia is a dynamic language, I don't think having the rigor of a compiled language (probably the most rigorous out there) is a reasonable expectation. It would be nice to have as an external linter service, probably.
- pa7x1 6y agoI think you are mixing two different things. Julia is a compiled language and Rust is too. Julia is dynamically typed while Rust is statically typed.
- chalst 6y agoIt is possible to check type coverage for dynamically typed languages, if the compiler/interpreter has enough type information to infer what types need coverage. In the case of multimethods, Julia's compiler is given this information.