News for hackers. Stuff that matters.

A comment on Sum Types in Julia and Rust. Parent comment

Re:Sum Types in Julia and Rust by bocckoka on Monday August 31, 2020 @03:12AM (#24329149)
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.
[ Parent | on HN ]
Re:Sum Types in Julia and Rust by pa7x1 on Monday August 31, 2020 @04:07AM (#24329380)
I 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.

[ Parent | on HN ]
Re:Sum Types in Julia and Rust by chalst on Monday August 31, 2020 @06:33AM (#24330033)
It 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.
[ Parent | on HN ]